static const uint32_t in_com1[512] = {
    0xbef7c448, 0x3f3efa5a, 0xbddcbbc1, 0xbee3a3f1,
    0xbee91134, 0xbe92943b, 0x3f3faed1, 0xbec66a88,
    0xbe8a8d46, 0x3eddb102, 0x3f09cf11, 0xbf2ba2ba,
    0x3f5a5ba1, 0xbeadc1f1, 0xbe8f8432, 0x3e8fa5c3,
    0x3f3842ce, 0xbdb4ac1f, 0x3d840d55, 0xbf2f80d6,
    0xbe976295, 0x3f09dec3, 0xbf4388ce, 0xbe4a92e4,
    0x3e54ad5e, 0xbead5b5c, 0xbe9579e0, 0x3f5ebbb6,
    0xbf1437d3, 0xbeff43b5, 0x3f1eeb9b, 0xbe33daf0,
    0xbe7a8c5f, 0xbf084e59, 0x3f40ba33, 0xbe997c36,
    0xbf4d626e, 0xbe5916fa, 0x3ef82855, 0xbe8d97e7,
    0xbf0c62d5, 0x3ebed540, 0xbecbaa9e, 0x3f225660,
    0xbd1d1cc3, 0x3f767dab, 0x3e851022, 0x3d7fb044,
    0x3effb2fe, 0xbde5a1d6, 0x3e444f60, 0xbf5660c9,
    0xbef5218e, 0xbe9efbe2, 0xbf198182, 0x3f0fa23f,
    0x3eef285c, 0xbe3ae562, 0xbf1c1e0d, 0xbf1d1a31,
    0x3f2c0904, 0xbf29591b, 0x3e96a037, 0xbe1f73f8,
    0xbf4ab05d, 0x3e7d969a, 0xbee5fe28, 0x3ea9d254,
    0x3d8f3ac0, 0x3e9ebe31, 0xbf6dab48, 0xbe452422,
    0xbe68e595, 0x3f71c512, 0xbe182297, 0x3e3d9957,
    0xbd10ea0b, 0x3ee6d63c, 0xbf0e0b73, 0xbf32c312,
    0x3ed8034c, 0xbd2680ab, 0x3f472e3f, 0x3eed65bf,
    0x3e091b10, 0xbf3564de, 0x3cb38ff4, 0xbf3145fc,
    0x3f12e614, 0x3ebe70d6, 0xbf364e41, 0xbe22b375,
    0x3e9c4484, 0xbedf6f13, 0xbe653ed9, 0x3f50f6b6,
    0x3f3b4d3f, 0xbf14ce7a, 0x3e3ed438, 0x3e9b5dd4,
    0xbf0032e0, 0x3e27c362, 0xbf3814eb, 0xbee7fff4,
    0xbe33f62c, 0x3ec88dcb, 0x3e968134, 0xbf5a9e01,
    0xbe49a020, 0x3f1c6117, 0x3f29121a, 0x3ec78ec7,
    0xbdd0afd8, 0x3f7249c4, 0xbd986e6e, 0x3e982b88,
    0xbe743f50, 0xbe8cde49, 0xbf6af33d, 0x3e223ad7,
    0xbf6a175b, 0x3e3b5ddd, 0xbe4aedde, 0x3e9a860c,
    0xbefdf152, 0xbe9e9440, 0x3ef9b3d2, 0x3f25f35f,
    0x3f02f3c8, 0xbf1886c9, 0x3f1db074, 0xbd80509f,
    0xbef9b510, 0x3f445dd4, 0xbecb6548, 0xbe01534e,
    0xbf6b56ed, 0x3e3b41d0, 0xbeafb2f4, 0x3d78fe8b,
    0xbe76f68a, 0xbeafec92, 0x3ebf3519, 0x3f53c537,
    0x3e593d05, 0x3f334ef4, 0x3f116d9f, 0xbec0b93d,
    0x3f1bacc3, 0xbeef3b9e, 0x3e89fc6d, 0xbf151baa,
    0x3f3ef4e6, 0xbe73ec14, 0x3f186716, 0xbe387321,
    0xbe84bd21, 0x3f21d063, 0xbf33e01f, 0x3e4ba707,
    0xbdc58e31, 0xbea7d39b, 0x3ea89681, 0x3f6157b3,
    0xbedec96b, 0x3db7a6bc, 0x3e6b0859, 0x3f5db187,
    0xbee55e9a, 0xbf3415e5, 0x3f0b0864, 0x3dc79936,
    0xbe0d4f6a, 0xbf0017bb, 0xbf097493, 0x3f2a40e4,
    0xbf485ef8, 0x3e88fc44, 0x3f003fb7, 0x3e825c3a,
    0x3f5a21f4, 0x3ecab4b5, 0xbe8fa944, 0xbe48e1d7,
    0x3f1706f4, 0xbf3becaf, 0x3ea52d3b, 0x3dc25f7d,
    0x3f3e9541, 0x3e3194fd, 0xbf0ff0f2, 0x3ea18b2a,
    0x3f053098, 0x3ef63a5b, 0x3f2ed070, 0x3e366708,
    0xbe84385c, 0xbda38cf7, 0x3e973b85, 0xbf6a9586,
    0xbeb9612b, 0xbe6abf0d, 0x3f2323f2, 0x3f23f7f5,
    0xbf1b6b63, 0xbf15e09f, 0xbebbe6d2, 0x3ec8e7e4,
    0xbf37cdea, 0xbf1e3313, 0xbea38418, 0x3ccbaaa3,
    0xbddc0d80, 0x3f2a18c7, 0x3f3d2dae, 0x3cf3ae83,
    0x3ecef089, 0x3e893230, 0x3f5c231e, 0x3e232a5d,
    0x3e0cf417, 0xbf06d6b9, 0xbf2cb43c, 0xbeff3bdf,
    0xbe1fed1d, 0x3f39749f, 0xbeae8898, 0x3f1414f2,
    0x3f0461da, 0xbd8bd132, 0xbf471ba6, 0xbeb3925b,
    0x3ecc23cf, 0x3c93c3d9, 0xbcde726a, 0x3f6a9f8f,
    0xbf172fa3, 0x3ca7064c, 0x3f4c4400, 0x3df3957d,
    0xbf52cf47, 0xbdd17a2c, 0x3f06f984, 0xbe3b40d3,
    0x3f0b5689, 0x3e8c3013, 0xbd9e31ac, 0x3f4a0813,
    0x3f13e81c, 0xbea431a2, 0x3f402432, 0x3b9752a9,
    0x3ee967c2, 0x3f1ab68f, 0xbf154f9b, 0xbe96d19f,
    0x3f084e85, 0xbf0e97df, 0xbe8659f7, 0x3f14b2aa,
    0xbf5924a3, 0xbd462ec1, 0xbe076634, 0x3f02b647,
    0xbe5061b0, 0x3e6f0727, 0x3f56c521, 0x3ee520f9,
    0xbe82de25, 0x3ec8bdfd, 0x3d065f3a, 0xbf6212fc,
    0x3f292242, 0xbf3fbf4b, 0xbd4bf28e, 0x3b051feb,
    0x3da317c4, 0x3ebb7ec3, 0x3f21413a, 0xbf2e26ba,
    0x3f59fac8, 0x3ea33737, 0x3eb3ec16, 0x3e64aad8,
    0xbde3974d, 0x3ebb297a, 0xbee0b002, 0xbf5033c0,
    0xbe18a1d9, 0x3f6737c0, 0xbe4b97b4, 0x3eb331d6,
    0xbeb9f0e0, 0x3eeea031, 0xbf1fb3da, 0x3f02f73c,
    0xbf1594dc, 0xbf30cf03, 0x3df24dee, 0x3ed198d3,
    0x3e0650bb, 0x3f48d8d6, 0xbe1b0297, 0x3f163948,
    0xbe5091d4, 0x3f13965c, 0x3f2c6c58, 0xbed4a74e,
    0x3ef8ba13, 0x3ef30b9c, 0xbf38a5d1, 0xbe0afaaa,
    0xbf0e0cb0, 0xbd6b0a4b, 0xbf0a4060, 0x3f215580,
    0xbd22efbc, 0xbee42685, 0x3f62b7dc, 0xbdff3f97,
    0xbdd18b7f, 0xbef1bafa, 0xbf5dc0f0, 0xbe02a660,
    0x3e70e40e, 0xbf286a8f, 0x3e8f5d1a, 0xbf288b22,
    0x3f33d7a1, 0x3f197f65, 0x3dc791e3, 0x3ebdd4a0,
    0xbeab31d8, 0xbf2cf429, 0x3f270014, 0x3da1643e,
    0x3f5150b8, 0xbef89d76, 0x3e8c12a8, 0x3e13d164,
    0xbf186a95, 0x3ebbe7ba, 0xbd47a9e1, 0x3f368b5c,
    0xbeb1fe8c, 0xbf586509, 0xbecdfd41, 0x3d573b9d,
    0xbf11864e, 0x3ee50dd6, 0x3e34d092, 0xbf2ae061,
    0xbda4e859, 0xbf56609a, 0xbecd03bb, 0xbeb9f6e6,
    0xbed28ba5, 0x3f278cc1, 0x3d0afb8d, 0x3f22305f,
    0xbd8200fa, 0x3d604744, 0xbe907378, 0x3f74a92a,
    0x3f3d517d, 0x3e1da011, 0xbde58447, 0x3f254892,
    0x3f6ee5ac, 0x3dd3f845, 0xbe4d2b12, 0x3e8f43dd,
    0xbe52afbc, 0xbf0a36bf, 0x3f42929d, 0x3e985111,
    0x3ed020da, 0x3f3e16eb, 0xbdcffdd6, 0x3f05c74a,
    0x3f6ec105, 0xbeb7d23c, 0x3d0e0017, 0xbc1f81ae,
    0xbc9ee25e, 0x3f05b255, 0xbd5547c8, 0x3f59d9bf,
    0xbe5de988, 0xbee39be7, 0xbda4b903, 0xbf5d8bda,
    0xbe635fd8, 0xbf37f3fc, 0x3e88c81d, 0x3f1a3c70,
    0xbf39f61b, 0xbe5175bb, 0x3e735118, 0xbf1c903a,
    0x3e6ade7a, 0x3da278e2, 0x3d211d29, 0xbf782457,
    0xbdce390e, 0x3dd77839, 0x3f7767b8, 0x3e58c48c,
    0x3ea33c0a, 0x3f02c1d3, 0xbf421e20, 0x3e7ffc2b,
    0x3e4969ef, 0x3e76ca74, 0xbf5e7a9d, 0x3ec4f273,
    0x3df14d7c, 0xbf185216, 0x3ea009b0, 0xbf3b23fd,
    0x3ed29a35, 0xbe313327, 0xbf6468f1, 0xbd8dc765,
    0xbea60f6b, 0x3e9d9f85, 0x3f64a125, 0xbd49f147,
    0xbf1c4cef, 0xbe913f1f, 0xbeccf23b, 0xbf1f2872,
    0xbecd590b, 0xbedb570a, 0x3f14d270, 0xbf104951,
    0x3f0485e8, 0xbf04ad45, 0xbea9a57e, 0x3f183c2d,
    0xbe954690, 0x3e0f6714, 0xbf51639e, 0x3ef39b73,
    0xbe4c3f50, 0xbf16de85, 0x3f2dd344, 0xbec784d6,
    0x3f0159dc, 0xbf553924, 0xbe40b847, 0x3dff5ba0,
    0xbdf725d3, 0xbf574599, 0xbc3ba88d, 0x3f0705b5,
    0x3e9ce775, 0xbef5dcba, 0xbea6380f, 0x3f414ae8,
    0x3e58cded, 0x3ecfb64c, 0x3f5f92cc, 0x3e2afa4f,
    0x3e526096, 0xbe80e065, 0x3f484d40, 0x3f0800b6,
    0x3f261735, 0xbf0e947d, 0xbf04ba03, 0x3c0770ac,
    0x3d7c5cc6, 0x3f3538be, 0xbf0a1dee, 0x3ee74123,
    0x3f62f35b, 0xbe4ac72d, 0xbecbbc64, 0xbe039996,
    0x3e7273fa, 0xbe1c659b, 0xbf33468b, 0xbf27e8cd,
    0xbe4fc16f, 0xbf398c38, 0x3f1b82fc, 0x3e8205f5,
    0x3e044800, 0xbecde7b6, 0xbf570089, 0x3eae8dae,
    0xbe97a4df, 0xbcbcf7ff, 0xbe5408f5, 0x3f6ea02e,
    0x3f5729eb, 0x3dcdc506, 0x3e7ef631, 0x3ef0f746,
    0x3e9c6331, 0xbf1dd817, 0xbf2fb300, 0x3e7138ed,
    0xbf42ac79, 0xbec6f51a, 0x3eeb5bfa, 0xbe799884,
    0x3d3abe22, 0xbf39393a, 0xbf2df7cd, 0xbde61564
    };

static const uint32_t in_com2[512] = {
    0x3e5e00a5, 0x3d5437b2, 0xbf76e473, 0xbe118adc,
    0x3f55425f, 0x3e81e947, 0x3d942bcf, 0x3ef8f397,
    0x3e9dc575, 0xbee0030b, 0xbe18b51f, 0xbf54dcaf,
    0x3ec1bd88, 0x3e7e2057, 0xbf294c79, 0x3f192581,
    0x3da2e4bd, 0xbebe0414, 0x3f618ee4, 0xbe907a1f,
    0x3e8b37c1, 0xbe59e534, 0xbf6f5f57, 0x3da4bd24,
    0xbe935cb1, 0xbea6b4d0, 0x3e93fd88, 0x3f5a5de8,
    0xbd2ff045, 0x3f2e2134, 0xbe88c663, 0xbf2e67aa,
    0xbf1a4367, 0x3f1783b7, 0xbf08da89, 0x3ce98d63,
    0x3ec7db24, 0xbea8311b, 0xbf35c185, 0x3ef88a46,
    0x3f720cea, 0x3e41c543, 0x3e3a0cf4, 0xbe457b96,
    0xbf4cf78c, 0x3e0bfff3, 0x3eaef611, 0xbef20c08,
    0xbe75e155, 0x3df7ee72, 0xbd8c4a97, 0xbf75f22d,
    0x3f21ccfd, 0xbf24f711, 0x3e575516, 0xbec04d5f,
    0x3e3c0ca5, 0x3f5718d6, 0x3ef531e5, 0x3e342d3b,
    0x3ca93345, 0xbf64c525, 0xbeca25a1, 0xbe597e0d,
    0x3f006222, 0xbd8bc6ea, 0xbf5c0623, 0xbd930e67,
    0x3e53e097, 0x3f72fd98, 0x3d3a6f8f, 0xbe6e543c,
    0x3ef24a32, 0x3ecfede5, 0xbf1e04f4, 0x3ef59c54,
    0xbe7ebae6, 0x3de79930, 0x3f7630aa, 0x3cb780f1,
    0xbf575ac3, 0xbe71643e, 0x3ef91965, 0x3bfe780e,
    0x3ebd0b3f, 0x3ef7f7df, 0xbf3d91b1, 0xbe9181de,
    0x3e32fa3e, 0x3f360331, 0x3d51b58b, 0x3f2de0cf,
    0xbdab0058, 0xbf3b11ba, 0xbf2390d3, 0xbe66d72d,
    0x3efd3ff1, 0x3adce576, 0xbeec08ff, 0x3f3c9c36,
    0x3e18cc23, 0xbd4cd256, 0x3ed7fc0e, 0xbf64957a,
    0xbf45f939, 0xbdc14c1d, 0xbef8db42, 0xbecabe7a,
    0x3e8e8894, 0x3f628723, 0xbe53603b, 0x3e9f5eab,
    0x3eb7d447, 0xbf6bfd1e, 0x3dc5c9f8, 0xbde04087,
    0xbf7c063a, 0x3daee652, 0x3dd5360d, 0xbde6aee4,
    0xbdb2c5fc, 0x3ef97a8b, 0x3d64bf98, 0xbf5df945,
    0x3e14d648, 0xbf0daf08, 0x3f3fd56f, 0xbeaa9c62,
    0x3e933f2d, 0x3f162506, 0xbf407553, 0xbdb884df,
    0xbea9476e, 0xbf18f230, 0xbf2c4c22, 0xbe91827b,
    0x3f6b435d, 0xbe44e4f4, 0x3b4c14bf, 0xbeb03927,
    0x3ebbd495, 0xbf56e74b, 0xbea9f9d5, 0xbe661cb9,
    0xbc9c7e12, 0xbf5eb4a6, 0x3d7e9c10, 0x3efa49c9,
    0xbf0c583d, 0x3e38d98a, 0x3e5330e7, 0x3f4a4709,
    0x3d3af836, 0xbf43e8ed, 0xbe580619, 0x3f1b3fa4,
    0x3f6832f5, 0xbde339c4, 0x3ec8ff95, 0x3dd59500,
    0xbf394555, 0xbf164840, 0x3eb9bdad, 0x3b833016,
    0x3d6f881e, 0xbe3be86d, 0xbeced0b5, 0xbf64efbc,
    0x3e9c0047, 0xbf2ebd7d, 0x3db269d3, 0xbf289565,
    0xbe8efb83, 0x3f6639af, 0xbe41538e, 0xbe8e9f9b,
    0xbe843545, 0x3f5b24af, 0xbe5bb4c8, 0xbec94064,
    0xbf006fa9, 0x3e7bcf0a, 0xbe5999b1, 0xbf4d39ea,
    0x3ccd5092, 0x3ebee80b, 0x3d542787, 0xbf6d14e6,
    0xbeb15c65, 0xbeb379d0, 0xbf030cfa, 0x3f341fb5,
    0xbef3995d, 0x3efc32c5, 0x3f236eb2, 0x3eb3e2c2,
    0xbf6bc927, 0x3e2d025f, 0xbe915c7f, 0x3e53332b,
    0x3f00f9ef, 0x3ef09c65, 0x3f207a15, 0x3eba4730,
    0xbe1c4012, 0x3f7c2776, 0xbda42488, 0xbc2e5e2c,
    0xbf018f9e, 0x3f1df091, 0xbf038b9a, 0xbea1415e,
    0x3ed8c9a9, 0x3f2a7162, 0x3f041576, 0xbeaac2e0,
    0xbe32ade9, 0xbf41dbd0, 0xbd754746, 0x3f20636b,
    0xbe93b359, 0xbebd0a23, 0xbf4b5f21, 0xbec5debb,
    0xbf122914, 0x3c605679, 0xbf4c7d00, 0x3e41b75e,
    0x3f2f65c1, 0x3f20c0eb, 0xbe4e3992, 0xbe9e6436,
    0xbf4d3b03, 0xbf171187, 0x3dbb895f, 0x3cd732a1,
    0x3e9fbc96, 0x3bb29a7c, 0x3cd3fd58, 0x3f7320c3,
    0x3e2b8649, 0x3c512791, 0x3f50d1b2, 0xbf0db533,
    0x3f02e042, 0xbf585d57, 0x3d04fb35, 0xbe1c3135,
    0x3e81e5c5, 0x3ec6faaf, 0xbe1b285b, 0x3f5f6a94,
    0xbf603ab0, 0xbd535210, 0x3ee09804, 0xbe46e29e,
    0x3ddc3691, 0x3f3d4e9e, 0x3de95fff, 0x3f2799dd,
    0xbf1d26e6, 0xbef7f134, 0xbe5c0b10, 0x3f15d065,
    0xbf19733a, 0x3ec750a4, 0x3d171705, 0xbf32cbf8,
    0x3f16b69b, 0xbece99ea, 0xbddabbd7, 0x3f31356c,
    0x3f153da6, 0xbe4abb88, 0x3f2e88ec, 0x3eca4e7c,
    0xbed1f19f, 0x3f4c3daf, 0xbeb9e27a, 0xbe810fe3,
    0xbf02ce4a, 0x3f238a3c, 0xbf132548, 0x3cab5f4c,
    0xbf0c5a12, 0x3e80ff4b, 0x3d3672ff, 0x3f4bd4da,
    0x3ef698b1, 0xbf38797e, 0xbe2dcacf, 0x3ef01fdf,
    0xbed23785, 0xbd3dadd8, 0xbea7e6bc, 0xbf597c4d,
    0x3f22059f, 0x3bfb0cd7, 0xbf3c2824, 0x3e7918a3,
    0xbe339701, 0xbec2c324, 0xbeeaae04, 0x3f48ab8b,
    0xbf44ad51, 0x3f04f16b, 0xbeb79cea, 0x3ddb5cab,
    0xbe9b1cdc, 0x3d065eb5, 0xbdeb0012, 0x3f720c7a,
    0x3f7ee196, 0x3da9dd25, 0x3c6e556e, 0x3d25680f,
    0x3f3f968a, 0xbf1f57dd, 0xbd367f97, 0x3e661e5c,
    0xbf597195, 0x3ef224d1, 0xbe38f86d, 0xbe18b4e5,
    0x3e5cf6cc, 0x3efde4ae, 0x3f473c35, 0xbea364a0,
    0xbf51052a, 0x3ef991fc, 0x3e70ec74, 0xbe4dd08b,
    0x3f0c499a, 0xbe08f149, 0x3f09c763, 0x3f20502e,
    0x3f0d56e5, 0x3ed22d8f, 0xbf39b00c, 0x3cbecff5,
    0x3e2985f2, 0xbf7b1e84, 0xbc0dc8b9, 0x3dcfb535,
    0x3db5863c, 0x3f2a350c, 0x3e3cc3e0, 0xbf37e97a,
    0xbe3fdf8b, 0xbf0090fe, 0x3f55158f, 0x3e1044e7,
    0x3e99a1b5, 0xbe385520, 0xbeb57451, 0xbf5dfdd7,
    0xbe8119b4, 0x3f2c4a26, 0x3f074bab, 0x3ee7597f,
    0x3f3b76b6, 0xbf2c0d5e, 0xbdb21a6c, 0x3d89946b,
    0x3f24d97f, 0x3f3f8e32, 0x3e1e5245, 0x3d2069d6,
    0xbf6f5eca, 0xbe99c3b7, 0xbe36e36e, 0x3d760be4,
    0x3e56ba5d, 0x3e7d025c, 0xbeebba38, 0xbf5391b8,
    0x3d86310b, 0xbecdf7d7, 0x3f2949b5, 0xbf21373c,
    0x3d9f0f22, 0xbed2d015, 0x3f508624, 0x3ecd67fa,
    0x3f238108, 0xbf372160, 0xbe3c7537, 0xbe5cc27a,
    0xbf35c76a, 0xbf0cca71, 0x3ee047af, 0xbd1beeff,
    0x3eda9505, 0xbdcc7779, 0x3ec688b4, 0x3f4f914d,
    0x3e77d1d4, 0x3f01b62a, 0x3ecbcff1, 0x3f39b55e,
    0x3edb0a86, 0x3f3804fa, 0xbcd3b45f, 0x3f0c1f5e,
    0x3f5056bf, 0x3e939727, 0xbe1cb8c3, 0xbef62bdc,
    0x3eea39da, 0xbe46d13d, 0x3dba0b1c, 0x3f5ced96,
    0xbf5fef40, 0x3e93e4a2, 0xbc9e57d6, 0x3ec6f6f4,
    0x3ea2dc20, 0x3f28decb, 0x3e58d1c4, 0xbf25ae0e,
    0xbefbc66f, 0x3f01edb4, 0x3f2e466d, 0xbe4562e9,
    0xbf033376, 0x3e25cdb6, 0x3e8e5338, 0xbf4bd04c,
    0x3f4eb19e, 0xbe2f98c0, 0x3eec5e38, 0x3ea65ca1,
    0x3d55de20, 0xbe96b638, 0xbf139267, 0xbf42aec6,
    0x3e2ba5da, 0xbf129c95, 0xbe786ccc, 0x3f43cfe9,
    0x3d239478, 0x3f07f989, 0xbf22cc2c, 0xbf0ef752,
    0x3e07b499, 0x3f4e006a, 0xbd729969, 0x3f135f2c,
    0xbf43a926, 0x3f197fc0, 0xbe0ded1c, 0x3e4542be,
    0xbf2612db, 0x3ebf8900, 0x3f274909, 0x3de23cfe,
    0xbea46fcd, 0x3ed237f4, 0x3f4d7892, 0xbe9474f5,
    0xbd130232, 0xbd9eacf5, 0x3f79b95f, 0xbe4fb19b,
    0xbe9e6fbb, 0xbe0a0dac, 0x3f6e9535, 0xbe07803c,
    0x3ddf7970, 0xbf03922d, 0x3f2c457c, 0xbf054b46,
    0xbe1b6a82, 0x3e91cc8e, 0x3f44168c, 0xbf0e57c7,
    0xbf329bba, 0xbe134dc4, 0xbf115e39, 0x3ed328c1,
    0xbf463fda, 0x3e61dcf2, 0xbf09a63f, 0xbe8005b7,
    0x3f1f75dd, 0x3f1e853b, 0x3ea89cdc, 0xbeb1731a,
    0xbe8a9536, 0xbe3aa3bb, 0x3f3edd94, 0xbf14c127,
    0x3f3a5b02, 0x3f209ead, 0x3d937ec6, 0x3e88a8eb,
    0x3d87f262, 0xbc94108f, 0xbdb4c8fe, 0x3f7e6447,
    0x3f16b56b, 0xbe7ba7c4, 0xbf17911d, 0xbefc20fd,
    0x3da23cf6, 0xbf501c8b, 0x3ea2468b, 0x3ef6d3ef,
    0x3f1e1ee0, 0xbf11b46e, 0xbdd9dfa0, 0xbf083e54
    };

static const uint32_t in_rot[1152] = {
    0x3f14d753, 0xbf1753a9, 0xbf0f1dff, 0x3e89fc1c,
    0xbf022739, 0x3f515ef6, 0xbf448698, 0xbf204d00,
    0xbe0b8eff, 0xbed7e246, 0xbf4812d6, 0xbeeb6a56,
    0xbd9b7458, 0x3f0924d0, 0xbf574a5c, 0x3f6750d0,
    0xbea3af31, 0xbe9206b8, 0xbef5084c, 0x3dd394d8,
    0xbf5f37d3, 0x3f543b7a, 0xbe8c4645, 0xbef997e3,
    0xbe9418f6, 0xbf74c7b3, 0x3d3a3e58, 0x3f2f7838,
    0xbe93a416, 0xbf2b29dd, 0x3f2b3b1b, 0x3f1cbad9,
    0x3ed7e2ec, 0x3e935409, 0xbf3c793c, 0x3f1ccdac,
    0x3d53c462, 0x3f79bb3b, 0x3e5ae8a1, 0xbf7f8e5e,
    0x3d361202, 0x3d1e0d28, 0x3ce68463, 0xbe5c926e,
    0x3f79e2fe, 0xbe7af3a8, 0xbf708f61, 0x3e745233,
    0xbf34aa0e, 0x3eaeec3c, 0x3f1ee48f, 0xbf2a2d6e,
    0xbc854d4b, 0xbf3f33c3, 0xbf2f37bf, 0xbe27a32a,
    0xbf35dfe1, 0x3f0f217f, 0xbf3e4681, 0xbebc180d,
    0xbeef919b, 0xbf260e8e, 0x3f19aa26, 0x3e2b94ad,
    0xbf52879d, 0xbf0b3011, 0xbed4cba4, 0x3ee1e111,
    0xbf4b9e22, 0x3f64db64, 0x3eb7eef7, 0xbe8926a5,
    0xbea06506, 0xbf72c9ac, 0xbd496cbb, 0xbf27adf1,
    0x3e81acef, 0xbf36406c, 0x3f3008b8, 0xbe4364ac,
    0xbf335657, 0x3ec12126, 0xbf263533, 0xbf291318,
    0x3e73f3e0, 0x3f41d4aa, 0xbf1bb62b, 0x3f651c54,
    0x3d93a59d, 0x3ee16bd7, 0xbdf73711, 0x3ecc455b,
    0x3f68b346, 0xbf7df4f7, 0xbda81be7, 0xbdc4031f,
    0x3d15366e, 0xbf69ccfc, 0x3ecfb6bb, 0x3f5b6c5d,
    0x3f0158aa, 0x3dcd5bf9, 0x3efdc9f5, 0xbf5caa45,
    0x3dd9ba1b, 0x3e0f82e8, 0xbd29a6d6, 0xbf7d4066,
    0xbef3ba3e, 0x3f4b1edb, 0x3ec23036, 0xbf6121be,
    0xbedaf784, 0xbe561ac4, 0xbb720e24, 0xbeddbbc3,
    0x3f66bef4, 0xbeb28adf, 0x3f68de11, 0x3e672667,
    0xbe28d087, 0x3e35d2f0, 0xbf785f35, 0xbf6c3086,
    0xbec0469f, 0x3db44f89, 0xbefe7716, 0x3f4bc114,
    0xbeb0ff89, 0xbeb38eb8, 0x3e387ddc, 0x3f6b4335,
    0x3f4b3191, 0x3f13f666, 0x3e4221d7, 0x3f4745c5,
    0xbe3841b7, 0x3f19f67a, 0xbf1937f6, 0x3d9c4271,
    0x3f4c273b, 0xbe41edae, 0xbf7b101a, 0xbd45d9bc,
    0x3ec0b7ef, 0x3e9b002b, 0x3f60272f, 0xbf3f69d3,
    0x3f2845ef, 0x3dc0d728, 0xbf0c0acd, 0xbf30aca4,
    0x3ef2928e, 0xbf4c4742, 0xbf0c7b83, 0xbe7f37fc,
    0xbf1a4510, 0x3f3bce43, 0x3ea0d22f, 0x3c2ba754,
    0x3ecd3a85, 0xbf6a84d6, 0x3f632564, 0xbe491cda,
    0x3ed5a941, 0xbebacced, 0xbf5a36bf, 0x3ebfc840,
    0x3e90755d, 0xbef81e95, 0xbf53f66a, 0xbf17491c,
    0xbf0cbb4d, 0xbf1723d2, 0xbee6de06, 0xbec37510,
    0x3f4e8b1e, 0xbf2b3de5, 0x3f3e35ad, 0xbcb68779,
    0xbf2404a2, 0xbee8b3ee, 0x3f1e6b21, 0x3ea7ede2,
    0x3f1114a3, 0x3f417ce5, 0xbf31b80a, 0x3f2fed0f,
    0xbe5b29c6, 0x3d23d523, 0x3e1e1381, 0x3f7cb955,
    0xbe5db145, 0xbf769347, 0x3e233668, 0x3f79b7fd,
    0xbe616237, 0xbba7461e, 0xbd849d6c, 0xbeb1e04b,
    0xbf6f7b2d, 0xbf364cb8, 0x3f2c3d35, 0xbe4d6365,
    0x3f32f6ba, 0x3f27362b, 0xbe94f922, 0xbedd99b9,
    0xbe9b11ef, 0xbf595d7d, 0x3f319392, 0xbf36a506,
    0xbdcaf205, 0xbf1365aa, 0xbf21c1bd, 0x3f04d576,
    0x3f3f12a9, 0xbf2922b8, 0xbda40209, 0x3e68d876,
    0x3e0f6f5f, 0x3f76b38f, 0xbf201edb, 0xbf3ccb58,
    0x3e827283, 0xbee3b838, 0xbf307f27, 0x3f125bd3,
    0x3e5f740c, 0x3f0921fb, 0x3f50d470, 0xbf5e6057,
    0x3ef9a2d1, 0xbdb3d1b6, 0xbf21a0cc, 0xbd8f19a0,
    0xbf45b7cc, 0x3f07cb81, 0xbf43f1e5, 0xbeba8fd5,
    0xbf10d143, 0xbf23c5ea, 0x3f05333d, 0xbe3465cd,
    0x3f75d949, 0x3e5d48d4, 0x3f274352, 0xbd4d4968,
    0x3f416063, 0x3f3c7b2c, 0x3e8c6cb0, 0xbf1e5ec0,
    0x3f4ff009, 0xbda47cbc, 0x3f13e713, 0xbe4e4a43,
    0xbf77d8f4, 0x3e18349d, 0x3f0c22ec, 0xbe72d01a,
    0xbf4d7532, 0xbf3c1cf7, 0x3f14a20e, 0x3eb3876c,
    0x3edbe003, 0x3f4c643f, 0xbed81748, 0xbf06663c,
    0xbe236126, 0xbf560517, 0x3f3d41b2, 0x3ef577b6,
    0x3ef21c3a, 0xbf1fdd65, 0x3f4038f1, 0x3e5c2c6e,
    0xbe8103a7, 0xbee89391, 0x3f5ac030, 0xbea1ddcc,
    0x3eae8e53, 0xbf62a55b, 0xbf71f4bf, 0xbd044ea3,
    0x3ea66e92, 0x3da865ec, 0x3f708548, 0x3eaa355f,
    0x3e6ee6a8, 0xbf2b7ece, 0x3f347064, 0xbf4c505f,
    0x3e90799d, 0x3f0848ea, 0xbf0e36ae, 0xbf2fcddb,
    0xbef008f8, 0x3f27087a, 0xbf3b8d77, 0x3e466460,
    0xbef8f56f, 0xbe55a900, 0x3f593a34, 0xbf14cc46,
    0xbf25da17, 0xbefc1903, 0x3f41d091, 0xbc611c88,
    0x3f2735fe, 0xbe72f7fe, 0x3f6cfc7d, 0x3e96c87e,
    0xbf1bd3df, 0xbec18181, 0x3f3295c6, 0xbf25c583,
    0x3e11caed, 0xbf3fa4ce, 0xbf27d8b9, 0xbf1ad005,
    0x3ee77cc0, 0xbec6d471, 0x3f4899c0, 0x3ef84a70,
    0x3d91d09f, 0x3f749bbe, 0xbe929156, 0x3f22d644,
    0xbe877469, 0xbf398fc8, 0xbf44b141, 0xbe059c75,
    0xbf2069bf, 0x3e347601, 0x3ee9beb3, 0x3f5f4081,
    0xbf75d225, 0xbdebd4e8, 0x3e82376d, 0x3e5dba63,
    0xbf61d95f, 0x3ed60f7c, 0x3e67b886, 0xbc740fe2,
    0x3f795488, 0xbf0d6626, 0x3f525609, 0x3e1047db,
    0xbf4d64b0, 0xbf11e099, 0x3e35f65c, 0xbd883549,
    0xbf48fe99, 0x3f1da15c, 0xbf7dcae3, 0x3df9814c,
    0x3d45af41, 0xbde73c52, 0xbf1b7309, 0xbf4955eb,
    0xbf44397d, 0xbd3c95a9, 0xbf23fda8, 0xbec5785b,
    0xbf43b96e, 0x3f0435a7, 0xbf03774a, 0x3f24966a,
    0x3f117a2e, 0xbf1af108, 0x3f4b7821, 0xbd35ff75,
    0xbf36649f, 0xbf0415fc, 0x3ef37df7, 0x3eb5ca3a,
    0x3ea3946c, 0x3f60e8f7, 0x3ec83d92, 0xbf2d40db,
    0xbf1fac15, 0xbf59f64f, 0xbc0ea526, 0xbf064073,
    0x3eb2ef5e, 0x3f3c73d1, 0xbf1461d3, 0xbeec20e7,
    0x3f388b56, 0xbf047087, 0x3eb5218f, 0xbec547f0,
    0xbf5a2eea, 0xbf505060, 0xbf137a1c, 0xbd9e5b7a,
    0x3ebc9f18, 0x3f2aa8a3, 0xbf25e1fb, 0xbe05a0bc,
    0x3f3a289a, 0x3f2c8675, 0x3f6ba36f, 0xbe27a55c,
    0x3eb5b3e4, 0x3f43fc86, 0x3de5a7f5, 0xbf222d32,
    0xbf0e75f7, 0x3f1c0af4, 0xbf108a06, 0x3ea54a62,
    0x3f48e783, 0x3f076fe4, 0x3f4619ae, 0xbf15eba7,
    0x3e771935, 0xbeb92bb5, 0xbdc41f64, 0x3f6d68a9,
    0xbf051e08, 0xbf4e0e30, 0xbe9261e1, 0x3e2ca6cb,
    0xbf2a3027, 0xbf3a4db0, 0x3e8cad93, 0x3f3da1e9,
    0xbf1ceed6, 0x3f72554e, 0xbdc5d5c9, 0x3e9d77e4,
    0x3b809416, 0x3ef16223, 0x3f61c317, 0x3f579738,
    0x3ef2ae21, 0xbe83a792, 0xbf0a0acc, 0x3f3e6254,
    0xbeca543a, 0xbf5a9704, 0xbf053c84, 0xbbcb3302,
    0x3eda29f2, 0xbf312f48, 0xbf1523d3, 0x3e990b2c,
    0xbf0005a6, 0x3f501077, 0xbf21f8fb, 0x3e2fc07e,
    0xbf415068, 0xbf4188bb, 0x3d986301, 0x3f267c83,
    0x3e2bd58d, 0x3f7b7b19, 0x3da95181, 0x3ed869d2,
    0x3f67fae4, 0xbc62eb28, 0xbd3f676b, 0x3bd5f822,
    0xbf7fb702, 0xbf67b2d3, 0x3ed880f3, 0x3d38c005,
    0x3f4b763f, 0x3edc5fa5, 0x3edb1268, 0x3eb7d0f2,
    0x3e70a346, 0xbf673c3a, 0xbefa8965, 0x3f5f1ace,
    0x3d041185, 0xbdc06790, 0x3f7d0837, 0xbdf445bc,
    0x3f79c25c, 0x3dec118a, 0x3e3f3b18, 0x3e4b179a,
    0xbdca62dd, 0xbf79a2cc, 0xbf0798a0, 0x3eaa0134,
    0x3f47cf83, 0x3f16f34d, 0x3f4e3cc0, 0x3d6b3bf7,
    0xbf1c16ae, 0x3efb3615, 0xbf1f5c22, 0xbed08311,
    0x3f59106c, 0x3eadc79b, 0x3f12cc5f, 0xbd547259,
    0x3f514eeb, 0x3f35fb09, 0x3f0710ed, 0xbeee20b3,
    0x3dc98491, 0xbea05e46, 0x3f71cf50, 0xbf2cb14d,
    0xbf3803f8, 0xbe2c1e94, 0x3f3b4b10, 0xbf1ee2da,
    0xbe906503, 0xbee965f9, 0x3ef01791, 0xbf41aa52,
    0xbe8358d9, 0x3f3ea21a, 0x3f1dbd7d, 0x3f5a2f20,
    0x3ef32dac, 0xbe606b8e, 0xbf2e70d0, 0xbf3b582a,
    0x3c3aefe3, 0x3f3ad7c4, 0xbf2e3ad0, 0xbd8364cc,
    0x3d601e42, 0xbd10f4dc, 0x3f7f74b5, 0xbe9a6e1a,
    0x3e312bd9, 0xbf700664, 0xbddd1250, 0x3f788b5a,
    0x3e5b04c6, 0x3f728216, 0x3e29b2e1, 0xbe8c5ec1,
    0x3ec1196b, 0xbed16bda, 0xbf54b859, 0x3e45f377,
    0x3f6985c2, 0xbeb8fa5b, 0x3f67df83, 0xbcc7a873,
    0x3ed8a0d1, 0xbe83df0c, 0xbf66c175, 0x3eb2377d,
    0x3f51193d, 0xbeca8794, 0xbed70712, 0x3f0428f7,
    0x3e345dc7, 0x3f568fa6, 0xbe01bdaa, 0xbef9344e,
    0x3f5d43e0, 0xbef3bd73, 0x3f4b5564, 0x3ec14759,
    0xbf5ec819, 0xbeba2e23, 0xbeaa28df, 0x3e159d44,
    0xbedf6f8b, 0xbf63479f, 0xbf7939af, 0x3dc49454,
    0xbe545fd6, 0x3e33f144, 0x3f6505c4, 0xbed257a6,
    0x3e4002da, 0xbea706e2, 0xbf6d2fa3, 0x3f692ea7,
    0xbe972f9c, 0x3e939e1f, 0xbebc3b44, 0xbf65e29d,
    0x3e7794b6, 0x3ee3223b, 0x3f6104fd, 0x3e331999,
    0xbf5a77e1, 0x3ef2a3c7, 0xbe5e519d, 0xbe8c253a,
    0xbd58de79, 0x3f75d989, 0xbf4ee658, 0x3f12e493,
    0xbe07b410, 0x3e568ddb, 0x3efb2068, 0x3f588c21,
    0x3f0ce51b, 0x3f27e7e0, 0xbf044223, 0xbf0fd81c,
    0xbed9f7de, 0xbf3591ac, 0x3ef44f66, 0xbf5dffc1,
    0x3e11e854, 0xbf2cfb8d, 0xbe84492e, 0x3f30be3c,
    0x3f7eba80, 0x3d93431f, 0xbd8cf9cf, 0x3d9e419c,
    0xbdf9f45f, 0x3f7d50a1, 0x3d808306, 0xbf7d6b24,
    0xbe020bda, 0xbf38178e, 0x3f11d733, 0xbecbbb4b,
    0x3eb4bb93, 0xbe466a3a, 0xbf6a53d9, 0xbf193b66,
    0xbf4c7711, 0xbd7cf6f3, 0x3f273de7, 0xbe1ffd64,
    0x3f3da5e6, 0x3f1ab57a, 0x3f327039, 0xbec59838,
    0xbee981b3, 0x3f332747, 0x3f0cbe51, 0xbf354283,
    0xbf0068b9, 0xbefe7eda, 0xbe0f7102, 0xbf171314,
    0x3f4b88fa, 0xbf312fa5, 0x3f21efe1, 0x3eb1f5e3,
    0x3f2d0b65, 0xbe8276c9, 0x3f310557, 0xbeed4daa,
    0xbf6062af, 0x3e0533db, 0x3f12aca5, 0xbed11ca2,
    0xbf35e890, 0xbe9a83ba, 0xbe56f4fd, 0x3f6e130a,
    0xbf73fd08, 0x3d2c8d1b, 0xbe997bf7, 0x3cc29200,
    0xbf7a1046, 0xbe59e3b9, 0x3f2307d3, 0x3ea142e5,
    0xbf34279e, 0xbf244e34, 0xbe941010, 0xbf35d24f,
    0xbedabafb, 0x3f676ae1, 0x3c9355d2, 0x3e87ec42,
    0xbec86ead, 0x3f618d75, 0xbdab2fd9, 0xbf6b7568,
    0xbec4570a, 0x3f75e285, 0x3ce6aa33, 0xbe8dc523,
    0xbe812c97, 0x3f1b7eb3, 0xbf40d618, 0x3f721f3c,
    0xbc1fb389, 0xbea63693, 0xbe516f60, 0xbf4b5986,
    0xbf126f94, 0xbd9e5fa7, 0xbf0d8bce, 0xbf546367,
    0xbf510fbb, 0x3f033215, 0xbe87e5b8, 0x3f126a49,
    0x3f28310b, 0xbefb7a26, 0xbec15881, 0x3f42e8ad,
    0x3f06e920, 0xbf232d03, 0x3e4bdc60, 0xbf3e8ebe,
    0xbf2bf11e, 0xbf1df3e7, 0x3ed1faf0, 0xbf198646,
    0xbf4c97b2, 0x3d265cc2, 0xbf478408, 0x3f1261b1,
    0xbe832d7b, 0x3e39e3d9, 0xbe3dbff3, 0xbf773c99,
    0xbf08830e, 0x3f4ab589, 0x3e9870b3, 0x3f5813aa,
    0x3f05898a, 0x3dfed302, 0xbd689535, 0x3ea2a370,
    0xbf724e2b, 0xbcc24c89, 0xbd7047b2, 0x3f7f7cac,
    0xbf2d9d10, 0xbf3b85e1, 0xbd7260d5, 0x3f3c092c,
    0xbf2d9ffb, 0xbcb79439, 0x3f34c18c, 0xbecee261,
    0x3f14df52, 0x3f2345f1, 0x3bc5909e, 0xbf452b2d,
    0x3e9d8b89, 0x3f6a2a4a, 0x3e8620a6, 0x3e0bbf43,
    0xbf5428fd, 0xbf0aefe3, 0xbf6f2456, 0x3d99002d,
    0xbeb2ad50, 0x3ea8d680, 0x3f0dfae1, 0xbf439436,
    0x3f4f0287, 0xbf007265, 0x3e9d47ea, 0xbcf2bac7,
    0x3ef93802, 0x3f5f7f43, 0xbf166ad7, 0xbf370e9f,
    0x3ec1ea21, 0xbcb18af1, 0x3f5034a0, 0x3f14d908,
    0xbf62865a, 0xbe929624, 0x3ebc27c6, 0x3eee4211,
    0xbf01abc0, 0x3f39d25f, 0x3f2bb64c, 0x3f37795e,
    0x3e437a38, 0x3f24c497, 0xbede7e72, 0xbf214800,
    0xbebcb4bb, 0x3f0ba20b, 0xbf40b518, 0x3d3ebb70,
    0xbf19d363, 0xbf4c4872, 0x3f6ab78f, 0xbe952cd6,
    0x3e8bb908, 0xbecafee7, 0xbf3e8d7f, 0x3f099060,
    0x3ed4ba40, 0x3f1cb51d, 0x3f2c3ca0, 0x3f3aa7da,
    0xbf2a96af, 0x3e1fc263, 0x3f0b3882, 0x3ed9f9a7,
    0xbf3922c9, 0x3e479a59, 0x3f10c2f7, 0x3f4d2892,
    0xbef40aac, 0xbf28d464, 0x3f14ce8a, 0x3f5b7257,
    0xbefd965c, 0x3e105cd5, 0xbf7c66de, 0x3db9370e,
    0x3e0fd9a8, 0xbe1be226, 0xbf552ecb, 0xbf0845ee,
    0x3d8cfcf1, 0xbf0bd516, 0x3f55b5f9, 0x3e10923e,
    0xbf7d4b7a, 0x3d0737f3, 0x3f6ba146, 0x3df3883e,
    0xbebea902, 0x3ebaa2b6, 0x3da9e6c1, 0x3f6d7019,
    0x3f435bce, 0xbf104fb7, 0xbea1ce24, 0x3ef62710,
    0x3f526d75, 0xbe9c5037, 0x3edd1e14, 0x3da5fb14,
    0x3f65f626, 0xbeaa2a86, 0xbf32c286, 0xbf224d31,
    0xbf71700e, 0x3e75c6b6, 0x3e6b9316, 0xbc0ad6ad,
    0x3f2ca48f, 0xbf3d0338, 0x3eddcd80, 0xbf135f58,
    0x3f3188a7, 0x3e8c4dac, 0xbf261d69, 0xbf35b736,
    0x3f5bcee3, 0x3efebda2, 0xbdfc9f84, 0x3f7f560c,
    0xbbdcaa22, 0x3d92c03c, 0xbd305818, 0x3f3df474,
    0x3f2b43d0, 0xbd6c3c20, 0xbf2b9c4a, 0x3f3d6358,
    0xbee85241, 0xbcaf2169, 0x3f641023, 0xbdb2fd61,
    0xbf7e6b51, 0xbd8c021d, 0x3f630766, 0xbddefc66,
    0x3ee5ee1b, 0xbf02c571, 0xbe9b6ebd, 0x3f4de68d,
    0x3ee4a8ec, 0xbf64a472, 0xbd5afe10, 0x3f3c0d4e,
    0x3ea9ed76, 0x3f178126, 0x3e066f63, 0xbdee55f3,
    0xbf7c0790, 0xbf26c814, 0xbf4236ff, 0x3b37909f,
    0xbf3f493c, 0x3f2419c8, 0xbe33a04b, 0x3e0e5dba,
    0xbf7c581e, 0xbdc29712, 0x3f4a92d7, 0x3e2c4e87,
    0xbf167af9, 0x3f186ca2, 0x3bd63c9c, 0x3f4dab70,
    0xbf61d7a7, 0x3ee6dae2, 0xbe0b0216, 0xbee076d9,
    0xbf6445c5, 0xbde6b2f7, 0xbe2ff641, 0xbd23468c,
    0x3f7bfc4b, 0xbf752428, 0x3e7be3ea, 0xbe19afe2,
    0x3e2494ae, 0x3f63639e, 0x3edc56a3, 0x3e74e951,
    0x3ec6a44a, 0xbf63dd79, 0xbe8cc4c7, 0xbf6f1af1,
    0xbe699b19, 0xbf1d7e25, 0x3eb4dc35, 0xbf346db0,
    0x3f3d26a5, 0xbd5ad87d, 0xbf2bf634, 0xbf4e73d9,
    0xbf11f9d9, 0xbe2037ef, 0xbe88ffd6, 0x3f1680b6,
    0xbf436df7, 0x3f06fc59, 0xbf12e332, 0xbf206efc,
    0xbe87427f, 0xbe4c7ebf, 0x3f718df1, 0xbf0b5273,
    0xbf46de5a, 0xbea23175, 0x3f4bd78e, 0xbf18e26b,
    0x3dc5b64b, 0xbf1a0a59, 0x3ebb42f0, 0xbf35c579,
    0x3e80f174, 0x3f6e36dd, 0x3e882334, 0x3f4209df,
    0xbc9a37fe, 0xbf26eb28, 0xbf199d7a, 0x3f049561,
    0xbf1c13b0, 0x3f14f534, 0x3f4e3ae0, 0x3de4a1b8,
    0x3f0c88d7, 0xbe93556f, 0xbf48e566, 0xbdbf8012,
    0xbf083516, 0x3f576e5b, 0x3f7c7cd3, 0x3d87297b,
    0x3e1af2db, 0xbe0b5033, 0x3f5818f2, 0x3f04c23e,
    0xbe9f5a3d, 0xbf733f85, 0x3c87eff9, 0xbd3c5b9c,
    0xbb1c2545, 0xbf7fba7c, 0x3f73000e, 0xbe9f92fc,
    0xbd2ff020, 0x3d95d81d, 0xbe8b6253, 0xbf759e33,
    0x3f758978, 0xbe7a553e, 0x3e11ed62, 0xbe8bf420,
    0xbf6e3f9f, 0x3e790f08, 0xbf4a6fda, 0x3d460d55,
    0x3f1c362d, 0xbf01abca, 0x3f020d39, 0xbf325912,
    0xbeaff66e, 0xbf5c2855, 0xbec1244f, 0xbe67395a,
    0xbf74ad90, 0x3e40f65a, 0xbf2515f6, 0x3ada2091,
    0xbf43a8be, 0x3f3aecee, 0xbe969437, 0xbf1de17c,
    0x3f65e7a5, 0x3e4001e0, 0xbecbb89f, 0x3ee107be,
    0xbed64c06, 0x3f4b757f, 0xbc8f79c1, 0xbf637d10,
    0xbeeaa5c7, 0x3ee30189, 0x3e161427, 0xbf625fd5,
    0xbddd4185, 0xbf7879fe, 0xbe5c3338, 0xbf63ca2c,
    0x3e4374b4, 0xbed43a4d, 0xbeb3b4dd, 0xbe1a9bb0,
    0xbf6c9392, 0x3f4649e4, 0xbf19f42c, 0xbe48a201,
    0xbf06b320, 0xbf48d94c, 0x3ea7f305, 0xbf14c853,
    0x3f234d50, 0x3f015a63, 0x3f47807f, 0x3f1d75ab,
    0x3df5768b, 0xbe6ff540, 0x3eed4688, 0xbf5ac64f,
    0xbf49f318, 0xbf1cb825, 0x3d5d5e6c, 0xbe33d101,
    0x3e9e1bd1, 0x3f6f4d5d, 0xbf16c50a, 0x3f3a5903,
    0xbeb3c455, 0x3eecacaf, 0x3f111959, 0xbf2e94c4,
    0x3f16974e, 0x3ec249d2, 0x3f36d0a8, 0x3f29ddd3,
    0xbf3b3430, 0xbe21cb56, 0x3c210830, 0xbf51cb0c,
    0x3f12af60, 0xbf354c0e, 0xbed20bc5, 0xbf1318d7,
    0x3f34b941, 0xbeccdeeb, 0xbf159b23, 0x3f267906,
    0x3ec55b45, 0xbf27964a, 0xbd8fe86e, 0x3f637751,
    0x3ee8226a, 0x3f41a5af, 0xbe7ecd8f, 0x3f1ad9fa,
    0xbf575a91, 0x3f064624, 0xbe066acb, 0xbdc5ffff,
    0x3dbe5b0d, 0x3f7daff5, 0x3f082f34, 0x3f58a83b,
    0xbce11e40, 0x3e082ce5, 0xbf470c68, 0xbf1d57bb,
    0xbf7bcef0, 0xbe37f3cd, 0x3c6c75fd, 0xbdf91a84,
    0x3f1a466c, 0xbf49e7ad, 0xbf24a640, 0x3f16617f,
    0xbefb7e31, 0x3f437a92, 0x3ee35e2d, 0xbef00004,
    0xbd6a65a0, 0xbf2d32b3, 0xbf3bf242, 0xbf52d04d,
    0x3f0fcc3a, 0x3da32149, 0xbf0ae81a, 0xbf3d2230,
    0xbecca3ff, 0xbe29a30a, 0xbebea600, 0x3f69c667,
    0x3eddb40f, 0xbf3db82b, 0x3f035b30, 0x3f575617,
    0x3f096c8d, 0x3d8615d6, 0xbea5dea5, 0x3ece779f,
    0x3f5b1728, 0xbd595f62, 0x3f33d322, 0xbf35b2eb,
    0x3f7d8136, 0x3e03c3cf, 0x3d5a58c2, 0x3e03dd91,
    0xbf333421, 0xbf33d1f4, 0x3eeac77f, 0xbf3a5c1b,
    0xbf027b89, 0x3c5c6850, 0x3f1444b7, 0xbf50a9f4,
    0x3f637900, 0x3ebbdb3a, 0x3e8cfdf3, 0x3d517f6c,
    0x3f7e5d47, 0x3dce0a88, 0x3f791e94, 0xbd93eec5,
    0x3e5fe9be, 0x3e65ec84, 0x3db19931, 0xbf78793b
    };

static const uint32_t ref_norm[128] = {
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
    };

static const uint32_t ref_inv[512] = {
    0xbef7c448, 0xbf3efa5a, 0x3ddcbbc1, 0x3ee3a3f1,
    0xbee91134, 0x3e92943b, 0xbf3faed1, 0x3ec66a88,
    0xbe8a8d46, 0xbeddb102, 0xbf09cf11, 0x3f2ba2ba,
    0x3f5a5ba1, 0x3eadc1f1, 0x3e8f8432, 0xbe8fa5c3,
    0x3f3842ce, 0x3db4ac1f, 0xbd840d55, 0x3f2f80d6,
    0xbe976295, 0xbf09dec3, 0x3f4388ce, 0x3e4a92e4,
    0x3e54ad5e, 0x3ead5b5c, 0x3e9579e0, 0xbf5ebbb6,
    0xbf1437d3, 0x3eff43b5, 0xbf1eeb9b, 0x3e33daf0,
    0xbe7a8c5f, 0x3f084e59, 0xbf40ba33, 0x3e997c36,
    0xbf4d626e, 0x3e5916fa, 0xbef82855, 0x3e8d97e7,
    0xbf0c62d5, 0xbebed540, 0x3ecbaa9e, 0xbf225660,
    0xbd1d1cc3, 0xbf767dab, 0xbe851022, 0xbd7fb044,
    0x3effb2fe, 0x3de5a1d6, 0xbe444f60, 0x3f5660c9,
    0xbef5218e, 0x3e9efbe2, 0x3f198182, 0xbf0fa23f,
    0x3eef285c, 0x3e3ae562, 0x3f1c1e0d, 0x3f1d1a31,
    0x3f2c0904, 0x3f29591b, 0xbe96a037, 0x3e1f73f8,
    0xbf4ab05d, 0xbe7d969a, 0x3ee5fe28, 0xbea9d254,
    0x3d8f3ac0, 0xbe9ebe31, 0x3f6dab48, 0x3e452422,
    0xbe68e595, 0xbf71c512, 0x3e182297, 0xbe3d9957,
    0xbd10ea0b, 0xbee6d63c, 0x3f0e0b73, 0x3f32c312,
    0x3ed8034c, 0x3d2680ab, 0xbf472e3f, 0xbeed65bf,
    0x3e091b10, 0x3f3564de, 0xbcb38ff4, 0x3f3145fc,
    0x3f12e614, 0xbebe70d6, 0x3f364e41, 0x3e22b375,
    0x3e9c4484, 0x3edf6f13, 0x3e653ed9, 0xbf50f6b6,
    0x3f3b4d3f, 0x3f14ce7a, 0xbe3ed438, 0xbe9b5dd4,
    0xbf0032e0, 0xbe27c362, 0x3f3814eb, 0x3ee7fff4,
    0xbe33f62c, 0xbec88dcb, 0xbe968134, 0x3f5a9e01,
    0xbe49a020, 0xbf1c6117, 0xbf29121a, 0xbec78ec7,
    0xbdd0afd8, 0xbf7249c4, 0x3d986e6e, 0xbe982b88,
    0xbe743f50, 0x3e8cde49, 0x3f6af33d, 0xbe223ad7,
    0xbf6a175b, 0xbe3b5ddd, 0x3e4aedde, 0xbe9a860c,
    0xbefdf152, 0x3e9e9440, 0xbef9b3d2, 0xbf25f35f,
    0x3f02f3c8, 0x3f1886c9, 0xbf1db074, 0x3d80509f,
    0xbef9b510, 0xbf445dd4, 0x3ecb6548, 0x3e01534e,
    0xbf6b56ed, 0xbe3b41d0, 0x3eafb2f4, 0xbd78fe8b,
    0xbe76f68a, 0x3eafec92, 0xbebf3519, 0xbf53c537,
    0x3e593d05, 0xbf334ef4, 0xbf116d9f, 0x3ec0b93d,
    0x3f1bacc3, 0x3eef3b9e, 0xbe89fc6d, 0x3f151baa,
    0x3f3ef4e6, 0x3e73ec14, 0xbf186716, 0x3e387321,
    0xbe84bd21, 0xbf21d063, 0x3f33e01f, 0xbe4ba707,
    0xbdc58e31, 0x3ea7d39b, 0xbea89681, 0xbf6157b3,
    0xbedec96b, 0xbdb7a6bc, 0xbe6b0859, 0xbf5db187,
    0xbee55e9a, 0x3f3415e5, 0xbf0b0864, 0xbdc79936,
    0xbe0d4f6a, 0x3f0017bb, 0x3f097493, 0xbf2a40e4,
    0xbf485ef8, 0xbe88fc44, 0xbf003fb7, 0xbe825c3a,
    0x3f5a21f4, 0xbecab4b5, 0x3e8fa944, 0x3e48e1d7,
    0x3f1706f4, 0x3f3becaf, 0xbea52d3b, 0xbdc25f7d,
    0x3f3e9541, 0xbe3194fd, 0x3f0ff0f2, 0xbea18b2a,
    0x3f053098, 0xbef63a5b, 0xbf2ed070, 0xbe366708,
    0xbe84385c, 0x3da38cf7, 0xbe973b85, 0x3f6a9586,
    0xbeb9612b, 0x3e6abf0d, 0xbf2323f2, 0xbf23f7f5,
    0xbf1b6b63, 0x3f15e09f, 0x3ebbe6d2, 0xbec8e7e4,
    0xbf37cdea, 0x3f1e3313, 0x3ea38418, 0xbccbaaa3,
    0xbddc0d80, 0xbf2a18c7, 0xbf3d2dae, 0xbcf3ae83,
    0x3ecef089, 0xbe893230, 0xbf5c231e, 0xbe232a5d,
    0x3e0cf417, 0x3f06d6b9, 0x3f2cb43c, 0x3eff3bdf,
    0xbe1fed1d, 0xbf39749f, 0x3eae8898, 0xbf1414f2,
    0x3f0461da, 0x3d8bd132, 0x3f471ba6, 0x3eb3925b,
    0x3ecc23cf, 0xbc93c3d9, 0x3cde726a, 0xbf6a9f8f,
    0xbf172fa3, 0xbca7064c, 0xbf4c4400, 0xbdf3957d,
    0xbf52cf47, 0x3dd17a2c, 0xbf06f984, 0x3e3b40d3,
    0x3f0b5689, 0xbe8c3013, 0x3d9e31ac, 0xbf4a0813,
    0x3f13e81c, 0x3ea431a2, 0xbf402432, 0xbb9752a9,
    0x3ee967c2, 0xbf1ab68f, 0x3f154f9b, 0x3e96d19f,
    0x3f084e85, 0x3f0e97df, 0x3e8659f7, 0xbf14b2aa,
    0xbf5924a3, 0x3d462ec1, 0x3e076634, 0xbf02b647,
    0xbe5061b0, 0xbe6f0727, 0xbf56c521, 0xbee520f9,
    0xbe82de25, 0xbec8bdfd, 0xbd065f3a, 0x3f6212fc,
    0x3f292242, 0x3f3fbf4b, 0x3d4bf28e, 0xbb051feb,
    0x3da317c4, 0xbebb7ec3, 0xbf21413a, 0x3f2e26ba,
    0x3f59fac8, 0xbea33737, 0xbeb3ec16, 0xbe64aad8,
    0xbde3974d, 0xbebb297a, 0x3ee0b002, 0x3f5033c0,
    0xbe18a1d9, 0xbf6737c0, 0x3e4b97b4, 0xbeb331d6,
    0xbeb9f0e0, 0xbeeea031, 0x3f1fb3da, 0xbf02f73c,
    0xbf1594dc, 0x3f30cf03, 0xbdf24dee, 0xbed198d3,
    0x3e0650bb, 0xbf48d8d6, 0x3e1b0297, 0xbf163948,
    0xbe5091d4, 0xbf13965c, 0xbf2c6c58, 0x3ed4a74e,
    0x3ef8ba13, 0xbef30b9c, 0x3f38a5d1, 0x3e0afaaa,
    0xbf0e0cb0, 0x3d6b0a4b, 0x3f0a4060, 0xbf215580,
    0xbd22efbc, 0x3ee42685, 0xbf62b7dc, 0x3dff3f97,
    0xbdd18b7f, 0x3ef1bafa, 0x3f5dc0f0, 0x3e02a660,
    0x3e70e40e, 0x3f286a8f, 0xbe8f5d1a, 0x3f288b22,
    0x3f33d7a1, 0xbf197f65, 0xbdc791e3, 0xbebdd4a0,
    0xbeab31d8, 0x3f2cf429, 0xbf270014, 0xbda1643e,
    0x3f5150b8, 0x3ef89d76, 0xbe8c12a8, 0xbe13d164,
    0xbf186a95, 0xbebbe7ba, 0x3d47a9e1, 0xbf368b5c,
    0xbeb1fe8c, 0x3f586509, 0x3ecdfd41, 0xbd573b9d,
    0xbf11864e, 0xbee50dd6, 0xbe34d092, 0x3f2ae061,
    0xbda4e859, 0x3f56609a, 0x3ecd03bb, 0x3eb9f6e6,
    0xbed28ba5, 0xbf278cc1, 0xbd0afb8d, 0xbf22305f,
    0xbd8200fa, 0xbd604744, 0x3e907378, 0xbf74a92a,
    0x3f3d517d, 0xbe1da011, 0x3de58447, 0xbf254892,
    0x3f6ee5ac, 0xbdd3f845, 0x3e4d2b12, 0xbe8f43dd,
    0xbe52afbc, 0x3f0a36bf, 0xbf42929d, 0xbe985111,
    0x3ed020da, 0xbf3e16eb, 0x3dcffdd6, 0xbf05c74a,
    0x3f6ec105, 0x3eb7d23c, 0xbd0e0017, 0x3c1f81ae,
    0xbc9ee25e, 0xbf05b255, 0x3d5547c8, 0xbf59d9bf,
    0xbe5de988, 0x3ee39be7, 0x3da4b903, 0x3f5d8bda,
    0xbe635fd8, 0x3f37f3fc, 0xbe88c81d, 0xbf1a3c70,
    0xbf39f61b, 0x3e5175bb, 0xbe735118, 0x3f1c903a,
    0x3e6ade7a, 0xbda278e2, 0xbd211d29, 0x3f782457,
    0xbdce390e, 0xbdd77839, 0xbf7767b8, 0xbe58c48c,
    0x3ea33c0a, 0xbf02c1d3, 0x3f421e20, 0xbe7ffc2b,
    0x3e4969ef, 0xbe76ca74, 0x3f5e7a9d, 0xbec4f273,
    0x3df14d7c, 0x3f185216, 0xbea009b0, 0x3f3b23fd,
    0x3ed29a35, 0x3e313327, 0x3f6468f1, 0x3d8dc765,
    0xbea60f6b, 0xbe9d9f85, 0xbf64a125, 0x3d49f147,
    0xbf1c4cef, 0x3e913f1f, 0x3eccf23b, 0x3f1f2872,
    0xbecd590b, 0x3edb570a, 0xbf14d270, 0x3f104951,
    0x3f0485e8, 0x3f04ad45, 0x3ea9a57e, 0xbf183c2d,
    0xbe954690, 0xbe0f6714, 0x3f51639e, 0xbef39b73,
    0xbe4c3f50, 0x3f16de85, 0xbf2dd344, 0x3ec784d6,
    0x3f0159dc, 0x3f553924, 0x3e40b847, 0xbdff5ba0,
    0xbdf725d3, 0x3f574599, 0x3c3ba88d, 0xbf0705b5,
    0x3e9ce775, 0x3ef5dcba, 0x3ea6380f, 0xbf414ae8,
    0x3e58cded, 0xbecfb64c, 0xbf5f92cc, 0xbe2afa4f,
    0x3e526096, 0x3e80e065, 0xbf484d40, 0xbf0800b6,
    0x3f261735, 0x3f0e947d, 0x3f04ba03, 0xbc0770ac,
    0x3d7c5cc6, 0xbf3538be, 0x3f0a1dee, 0xbee74123,
    0x3f62f35b, 0x3e4ac72d, 0x3ecbbc64, 0x3e039996,
    0x3e7273fa, 0x3e1c659b, 0x3f33468b, 0x3f27e8cd,
    0xbe4fc16f, 0x3f398c38, 0xbf1b82fc, 0xbe8205f5,
    0x3e044800, 0x3ecde7b6, 0x3f570089, 0xbeae8dae,
    0xbe97a4df, 0x3cbcf7ff, 0x3e5408f5, 0xbf6ea02e,
    0x3f5729eb, 0xbdcdc506, 0xbe7ef631, 0xbef0f746,
    0x3e9c6331, 0x3f1dd817, 0x3f2fb300, 0xbe7138ed,
    0xbf42ac79, 0x3ec6f51a, 0xbeeb5bfa, 0x3e799884,
    0x3d3abe22, 0x3f39393a, 0x3f2df7cd, 0x3de61564
    };

static const uint32_t ref_conj[512] = {
    0xbef7c448, 0xbf3efa5a, 0x3ddcbbc1, 0x3ee3a3f1,
    0xbee91134, 0x3e92943b, 0xbf3faed1, 0x3ec66a88,
    0xbe8a8d46, 0xbeddb102, 0xbf09cf11, 0x3f2ba2ba,
    0x3f5a5ba1, 0x3eadc1f1, 0x3e8f8432, 0xbe8fa5c3,
    0x3f3842ce, 0x3db4ac1f, 0xbd840d55, 0x3f2f80d6,
    0xbe976295, 0xbf09dec3, 0x3f4388ce, 0x3e4a92e4,
    0x3e54ad5e, 0x3ead5b5c, 0x3e9579e0, 0xbf5ebbb6,
    0xbf1437d3, 0x3eff43b5, 0xbf1eeb9b, 0x3e33daf0,
    0xbe7a8c5f, 0x3f084e59, 0xbf40ba33, 0x3e997c36,
    0xbf4d626e, 0x3e5916fa, 0xbef82855, 0x3e8d97e7,
    0xbf0c62d5, 0xbebed540, 0x3ecbaa9e, 0xbf225660,
    0xbd1d1cc3, 0xbf767dab, 0xbe851022, 0xbd7fb044,
    0x3effb2fe, 0x3de5a1d6, 0xbe444f60, 0x3f5660c9,
    0xbef5218e, 0x3e9efbe2, 0x3f198182, 0xbf0fa23f,
    0x3eef285c, 0x3e3ae562, 0x3f1c1e0d, 0x3f1d1a31,
    0x3f2c0904, 0x3f29591b, 0xbe96a037, 0x3e1f73f8,
    0xbf4ab05d, 0xbe7d969a, 0x3ee5fe28, 0xbea9d254,
    0x3d8f3ac0, 0xbe9ebe31, 0x3f6dab48, 0x3e452422,
    0xbe68e595, 0xbf71c512, 0x3e182297, 0xbe3d9957,
    0xbd10ea0b, 0xbee6d63c, 0x3f0e0b73, 0x3f32c312,
    0x3ed8034c, 0x3d2680ab, 0xbf472e3f, 0xbeed65bf,
    0x3e091b10, 0x3f3564de, 0xbcb38ff4, 0x3f3145fc,
    0x3f12e614, 0xbebe70d6, 0x3f364e41, 0x3e22b375,
    0x3e9c4484, 0x3edf6f13, 0x3e653ed9, 0xbf50f6b6,
    0x3f3b4d3f, 0x3f14ce7a, 0xbe3ed438, 0xbe9b5dd4,
    0xbf0032e0, 0xbe27c362, 0x3f3814eb, 0x3ee7fff4,
    0xbe33f62c, 0xbec88dcb, 0xbe968134, 0x3f5a9e01,
    0xbe49a020, 0xbf1c6117, 0xbf29121a, 0xbec78ec7,
    0xbdd0afd8, 0xbf7249c4, 0x3d986e6e, 0xbe982b88,
    0xbe743f50, 0x3e8cde49, 0x3f6af33d, 0xbe223ad7,
    0xbf6a175b, 0xbe3b5ddd, 0x3e4aedde, 0xbe9a860c,
    0xbefdf152, 0x3e9e9440, 0xbef9b3d2, 0xbf25f35f,
    0x3f02f3c8, 0x3f1886c9, 0xbf1db074, 0x3d80509f,
    0xbef9b510, 0xbf445dd4, 0x3ecb6548, 0x3e01534e,
    0xbf6b56ed, 0xbe3b41d0, 0x3eafb2f4, 0xbd78fe8b,
    0xbe76f68a, 0x3eafec92, 0xbebf3519, 0xbf53c537,
    0x3e593d05, 0xbf334ef4, 0xbf116d9f, 0x3ec0b93d,
    0x3f1bacc3, 0x3eef3b9e, 0xbe89fc6d, 0x3f151baa,
    0x3f3ef4e6, 0x3e73ec14, 0xbf186716, 0x3e387321,
    0xbe84bd21, 0xbf21d063, 0x3f33e01f, 0xbe4ba707,
    0xbdc58e31, 0x3ea7d39b, 0xbea89681, 0xbf6157b3,
    0xbedec96b, 0xbdb7a6bc, 0xbe6b0859, 0xbf5db187,
    0xbee55e9a, 0x3f3415e5, 0xbf0b0864, 0xbdc79936,
    0xbe0d4f6a, 0x3f0017bb, 0x3f097493, 0xbf2a40e4,
    0xbf485ef8, 0xbe88fc44, 0xbf003fb7, 0xbe825c3a,
    0x3f5a21f4, 0xbecab4b5, 0x3e8fa944, 0x3e48e1d7,
    0x3f1706f4, 0x3f3becaf, 0xbea52d3b, 0xbdc25f7d,
    0x3f3e9541, 0xbe3194fd, 0x3f0ff0f2, 0xbea18b2a,
    0x3f053098, 0xbef63a5b, 0xbf2ed070, 0xbe366708,
    0xbe84385c, 0x3da38cf7, 0xbe973b85, 0x3f6a9586,
    0xbeb9612b, 0x3e6abf0d, 0xbf2323f2, 0xbf23f7f5,
    0xbf1b6b63, 0x3f15e09f, 0x3ebbe6d2, 0xbec8e7e4,
    0xbf37cdea, 0x3f1e3313, 0x3ea38418, 0xbccbaaa3,
    0xbddc0d80, 0xbf2a18c7, 0xbf3d2dae, 0xbcf3ae83,
    0x3ecef089, 0xbe893230, 0xbf5c231e, 0xbe232a5d,
    0x3e0cf417, 0x3f06d6b9, 0x3f2cb43c, 0x3eff3bdf,
    0xbe1fed1d, 0xbf39749f, 0x3eae8898, 0xbf1414f2,
    0x3f0461da, 0x3d8bd132, 0x3f471ba6, 0x3eb3925b,
    0x3ecc23cf, 0xbc93c3d9, 0x3cde726a, 0xbf6a9f8f,
    0xbf172fa3, 0xbca7064c, 0xbf4c4400, 0xbdf3957d,
    0xbf52cf47, 0x3dd17a2c, 0xbf06f984, 0x3e3b40d3,
    0x3f0b5689, 0xbe8c3013, 0x3d9e31ac, 0xbf4a0813,
    0x3f13e81c, 0x3ea431a2, 0xbf402432, 0xbb9752a9,
    0x3ee967c2, 0xbf1ab68f, 0x3f154f9b, 0x3e96d19f,
    0x3f084e85, 0x3f0e97df, 0x3e8659f7, 0xbf14b2aa,
    0xbf5924a3, 0x3d462ec1, 0x3e076634, 0xbf02b647,
    0xbe5061b0, 0xbe6f0727, 0xbf56c521, 0xbee520f9,
    0xbe82de25, 0xbec8bdfd, 0xbd065f3a, 0x3f6212fc,
    0x3f292242, 0x3f3fbf4b, 0x3d4bf28e, 0xbb051feb,
    0x3da317c4, 0xbebb7ec3, 0xbf21413a, 0x3f2e26ba,
    0x3f59fac8, 0xbea33737, 0xbeb3ec16, 0xbe64aad8,
    0xbde3974d, 0xbebb297a, 0x3ee0b002, 0x3f5033c0,
    0xbe18a1d9, 0xbf6737c0, 0x3e4b97b4, 0xbeb331d6,
    0xbeb9f0e0, 0xbeeea031, 0x3f1fb3da, 0xbf02f73c,
    0xbf1594dc, 0x3f30cf03, 0xbdf24dee, 0xbed198d3,
    0x3e0650bb, 0xbf48d8d6, 0x3e1b0297, 0xbf163948,
    0xbe5091d4, 0xbf13965c, 0xbf2c6c58, 0x3ed4a74e,
    0x3ef8ba13, 0xbef30b9c, 0x3f38a5d1, 0x3e0afaaa,
    0xbf0e0cb0, 0x3d6b0a4b, 0x3f0a4060, 0xbf215580,
    0xbd22efbc, 0x3ee42685, 0xbf62b7dc, 0x3dff3f97,
    0xbdd18b7f, 0x3ef1bafa, 0x3f5dc0f0, 0x3e02a660,
    0x3e70e40e, 0x3f286a8f, 0xbe8f5d1a, 0x3f288b22,
    0x3f33d7a1, 0xbf197f65, 0xbdc791e3, 0xbebdd4a0,
    0xbeab31d8, 0x3f2cf429, 0xbf270014, 0xbda1643e,
    0x3f5150b8, 0x3ef89d76, 0xbe8c12a8, 0xbe13d164,
    0xbf186a95, 0xbebbe7ba, 0x3d47a9e1, 0xbf368b5c,
    0xbeb1fe8c, 0x3f586509, 0x3ecdfd41, 0xbd573b9d,
    0xbf11864e, 0xbee50dd6, 0xbe34d092, 0x3f2ae061,
    0xbda4e859, 0x3f56609a, 0x3ecd03bb, 0x3eb9f6e6,
    0xbed28ba5, 0xbf278cc1, 0xbd0afb8d, 0xbf22305f,
    0xbd8200fa, 0xbd604744, 0x3e907378, 0xbf74a92a,
    0x3f3d517d, 0xbe1da011, 0x3de58447, 0xbf254892,
    0x3f6ee5ac, 0xbdd3f845, 0x3e4d2b12, 0xbe8f43dd,
    0xbe52afbc, 0x3f0a36bf, 0xbf42929d, 0xbe985111,
    0x3ed020da, 0xbf3e16eb, 0x3dcffdd6, 0xbf05c74a,
    0x3f6ec105, 0x3eb7d23c, 0xbd0e0017, 0x3c1f81ae,
    0xbc9ee25e, 0xbf05b255, 0x3d5547c8, 0xbf59d9bf,
    0xbe5de988, 0x3ee39be7, 0x3da4b903, 0x3f5d8bda,
    0xbe635fd8, 0x3f37f3fc, 0xbe88c81d, 0xbf1a3c70,
    0xbf39f61b, 0x3e5175bb, 0xbe735118, 0x3f1c903a,
    0x3e6ade7a, 0xbda278e2, 0xbd211d29, 0x3f782457,
    0xbdce390e, 0xbdd77839, 0xbf7767b8, 0xbe58c48c,
    0x3ea33c0a, 0xbf02c1d3, 0x3f421e20, 0xbe7ffc2b,
    0x3e4969ef, 0xbe76ca74, 0x3f5e7a9d, 0xbec4f273,
    0x3df14d7c, 0x3f185216, 0xbea009b0, 0x3f3b23fd,
    0x3ed29a35, 0x3e313327, 0x3f6468f1, 0x3d8dc765,
    0xbea60f6b, 0xbe9d9f85, 0xbf64a125, 0x3d49f147,
    0xbf1c4cef, 0x3e913f1f, 0x3eccf23b, 0x3f1f2872,
    0xbecd590b, 0x3edb570a, 0xbf14d270, 0x3f104951,
    0x3f0485e8, 0x3f04ad45, 0x3ea9a57e, 0xbf183c2d,
    0xbe954690, 0xbe0f6714, 0x3f51639e, 0xbef39b73,
    0xbe4c3f50, 0x3f16de85, 0xbf2dd344, 0x3ec784d6,
    0x3f0159dc, 0x3f553924, 0x3e40b847, 0xbdff5ba0,
    0xbdf725d3, 0x3f574599, 0x3c3ba88d, 0xbf0705b5,
    0x3e9ce775, 0x3ef5dcba, 0x3ea6380f, 0xbf414ae8,
    0x3e58cded, 0xbecfb64c, 0xbf5f92cc, 0xbe2afa4f,
    0x3e526096, 0x3e80e065, 0xbf484d40, 0xbf0800b6,
    0x3f261735, 0x3f0e947d, 0x3f04ba03, 0xbc0770ac,
    0x3d7c5cc6, 0xbf3538be, 0x3f0a1dee, 0xbee74123,
    0x3f62f35b, 0x3e4ac72d, 0x3ecbbc64, 0x3e039996,
    0x3e7273fa, 0x3e1c659b, 0x3f33468b, 0x3f27e8cd,
    0xbe4fc16f, 0x3f398c38, 0xbf1b82fc, 0xbe8205f5,
    0x3e044800, 0x3ecde7b6, 0x3f570089, 0xbeae8dae,
    0xbe97a4df, 0x3cbcf7ff, 0x3e5408f5, 0xbf6ea02e,
    0x3f5729eb, 0xbdcdc506, 0xbe7ef631, 0xbef0f746,
    0x3e9c6331, 0x3f1dd817, 0x3f2fb300, 0xbe7138ed,
    0xbf42ac79, 0x3ec6f51a, 0xbeeb5bfa, 0x3e799884,
    0x3d3abe22, 0x3f39393a, 0x3f2df7cd, 0x3de61564
    };

static const uint32_t ref_normalize[512] = {
    0xbef7c448, 0x3f3efa5a, 0xbddcbbc1, 0xbee3a3f1,
    0xbee91134, 0xbe92943b, 0x3f3faed1, 0xbec66a88,
    0xbe8a8d46, 0x3eddb102, 0x3f09cf11, 0xbf2ba2ba,
    0x3f5a5ba1, 0xbeadc1f1, 0xbe8f8432, 0x3e8fa5c3,
    0x3f3842ce, 0xbdb4ac1f, 0x3d840d55, 0xbf2f80d6,
    0xbe976295, 0x3f09dec3, 0xbf4388ce, 0xbe4a92e4,
    0x3e54ad5e, 0xbead5b5c, 0xbe9579e0, 0x3f5ebbb6,
    0xbf1437d3, 0xbeff43b5, 0x3f1eeb9b, 0xbe33daf0,
    0xbe7a8c5f, 0xbf084e59, 0x3f40ba33, 0xbe997c36,
    0xbf4d626e, 0xbe5916fa, 0x3ef82855, 0xbe8d97e7,
    0xbf0c62d5, 0x3ebed540, 0xbecbaa9e, 0x3f225660,
    0xbd1d1cc3, 0x3f767dab, 0x3e851022, 0x3d7fb044,
    0x3effb2fe, 0xbde5a1d6, 0x3e444f60, 0xbf5660c9,
    0xbef5218e, 0xbe9efbe2, 0xbf198182, 0x3f0fa23f,
    0x3eef285c, 0xbe3ae562, 0xbf1c1e0d, 0xbf1d1a31,
    0x3f2c0904, 0xbf29591b, 0x3e96a037, 0xbe1f73f8,
    0xbf4ab05d, 0x3e7d969a, 0xbee5fe28, 0x3ea9d254,
    0x3d8f3ac0, 0x3e9ebe31, 0xbf6dab48, 0xbe452422,
    0xbe68e595, 0x3f71c512, 0xbe182297, 0x3e3d9957,
    0xbd10ea0b, 0x3ee6d63c, 0xbf0e0b73, 0xbf32c312,
    0x3ed8034c, 0xbd2680ab, 0x3f472e3f, 0x3eed65bf,
    0x3e091b10, 0xbf3564de, 0x3cb38ff4, 0xbf3145fc,
    0x3f12e614, 0x3ebe70d6, 0xbf364e41, 0xbe22b375,
    0x3e9c4484, 0xbedf6f13, 0xbe653ed9, 0x3f50f6b6,
    0x3f3b4d3f, 0xbf14ce7a, 0x3e3ed438, 0x3e9b5dd4,
    0xbf0032e0, 0x3e27c362, 0xbf3814eb, 0xbee7fff4,
    0xbe33f62c, 0x3ec88dcb, 0x3e968134, 0xbf5a9e01,
    0xbe49a020, 0x3f1c6117, 0x3f29121a, 0x3ec78ec7,
    0xbdd0afd8, 0x3f7249c4, 0xbd986e6e, 0x3e982b88,
    0xbe743f50, 0xbe8cde49, 0xbf6af33d, 0x3e223ad7,
    0xbf6a175b, 0x3e3b5ddd, 0xbe4aedde, 0x3e9a860c,
    0xbefdf152, 0xbe9e9440, 0x3ef9b3d2, 0x3f25f35f,
    0x3f02f3c8, 0xbf1886c9, 0x3f1db074, 0xbd80509f,
    0xbef9b510, 0x3f445dd4, 0xbecb6548, 0xbe01534e,
    0xbf6b56ed, 0x3e3b41d0, 0xbeafb2f4, 0x3d78fe8b,
    0xbe76f68a, 0xbeafec92, 0x3ebf3519, 0x3f53c537,
    0x3e593d05, 0x3f334ef4, 0x3f116d9f, 0xbec0b93d,
    0x3f1bacc3, 0xbeef3b9e, 0x3e89fc6d, 0xbf151baa,
    0x3f3ef4e6, 0xbe73ec14, 0x3f186716, 0xbe387321,
    0xbe84bd21, 0x3f21d063, 0xbf33e01f, 0x3e4ba707,
    0xbdc58e31, 0xbea7d39b, 0x3ea89681, 0x3f6157b3,
    0xbedec96b, 0x3db7a6bc, 0x3e6b0859, 0x3f5db187,
    0xbee55e9a, 0xbf3415e5, 0x3f0b0864, 0x3dc79936,
    0xbe0d4f6a, 0xbf0017bb, 0xbf097493, 0x3f2a40e4,
    0xbf485ef8, 0x3e88fc44, 0x3f003fb7, 0x3e825c3a,
    0x3f5a21f4, 0x3ecab4b5, 0xbe8fa944, 0xbe48e1d7,
    0x3f1706f4, 0xbf3becaf, 0x3ea52d3b, 0x3dc25f7d,
    0x3f3e9541, 0x3e3194fd, 0xbf0ff0f2, 0x3ea18b2a,
    0x3f053098, 0x3ef63a5b, 0x3f2ed070, 0x3e366708,
    0xbe84385c, 0xbda38cf7, 0x3e973b85, 0xbf6a9586,
    0xbeb9612b, 0xbe6abf0d, 0x3f2323f2, 0x3f23f7f5,
    0xbf1b6b63, 0xbf15e09f, 0xbebbe6d2, 0x3ec8e7e4,
    0xbf37cdea, 0xbf1e3313, 0xbea38418, 0x3ccbaaa3,
    0xbddc0d80, 0x3f2a18c7, 0x3f3d2dae, 0x3cf3ae83,
    0x3ecef089, 0x3e893230, 0x3f5c231e, 0x3e232a5d,
    0x3e0cf417, 0xbf06d6b9, 0xbf2cb43c, 0xbeff3bdf,
    0xbe1fed1d, 0x3f39749f, 0xbeae8898, 0x3f1414f2,
    0x3f0461da, 0xbd8bd132, 0xbf471ba6, 0xbeb3925b,
    0x3ecc23cf, 0x3c93c3d9, 0xbcde726a, 0x3f6a9f8f,
    0xbf172fa3, 0x3ca7064c, 0x3f4c4400, 0x3df3957d,
    0xbf52cf47, 0xbdd17a2c, 0x3f06f984, 0xbe3b40d3,
    0x3f0b5689, 0x3e8c3013, 0xbd9e31ac, 0x3f4a0813,
    0x3f13e81c, 0xbea431a2, 0x3f402432, 0x3b9752a9,
    0x3ee967c2, 0x3f1ab68f, 0xbf154f9b, 0xbe96d19f,
    0x3f084e85, 0xbf0e97df, 0xbe8659f7, 0x3f14b2aa,
    0xbf5924a3, 0xbd462ec1, 0xbe076634, 0x3f02b647,
    0xbe5061b0, 0x3e6f0727, 0x3f56c521, 0x3ee520f9,
    0xbe82de25, 0x3ec8bdfd, 0x3d065f3a, 0xbf6212fc,
    0x3f292242, 0xbf3fbf4b, 0xbd4bf28e, 0x3b051feb,
    0x3da317c4, 0x3ebb7ec3, 0x3f21413a, 0xbf2e26ba,
    0x3f59fac8, 0x3ea33737, 0x3eb3ec16, 0x3e64aad8,
    0xbde3974d, 0x3ebb297a, 0xbee0b002, 0xbf5033c0,
    0xbe18a1d9, 0x3f6737c0, 0xbe4b97b4, 0x3eb331d6,
    0xbeb9f0e0, 0x3eeea031, 0xbf1fb3da, 0x3f02f73c,
    0xbf1594dc, 0xbf30cf03, 0x3df24dee, 0x3ed198d3,
    0x3e0650bb, 0x3f48d8d6, 0xbe1b0297, 0x3f163948,
    0xbe5091d4, 0x3f13965c, 0x3f2c6c58, 0xbed4a74e,
    0x3ef8ba13, 0x3ef30b9c, 0xbf38a5d1, 0xbe0afaaa,
    0xbf0e0cb0, 0xbd6b0a4b, 0xbf0a4060, 0x3f215580,
    0xbd22efbc, 0xbee42685, 0x3f62b7dc, 0xbdff3f97,
    0xbdd18b7f, 0xbef1bafa, 0xbf5dc0f0, 0xbe02a660,
    0x3e70e40e, 0xbf286a8f, 0x3e8f5d1a, 0xbf288b22,
    0x3f33d7a1, 0x3f197f65, 0x3dc791e3, 0x3ebdd4a0,
    0xbeab31d8, 0xbf2cf429, 0x3f270014, 0x3da1643e,
    0x3f5150b8, 0xbef89d76, 0x3e8c12a8, 0x3e13d164,
    0xbf186a95, 0x3ebbe7ba, 0xbd47a9e1, 0x3f368b5c,
    0xbeb1fe8c, 0xbf586509, 0xbecdfd41, 0x3d573b9d,
    0xbf11864e, 0x3ee50dd6, 0x3e34d092, 0xbf2ae061,
    0xbda4e859, 0xbf56609a, 0xbecd03bb, 0xbeb9f6e6,
    0xbed28ba5, 0x3f278cc1, 0x3d0afb8d, 0x3f22305f,
    0xbd8200fa, 0x3d604744, 0xbe907378, 0x3f74a92a,
    0x3f3d517d, 0x3e1da011, 0xbde58447, 0x3f254892,
    0x3f6ee5ac, 0x3dd3f845, 0xbe4d2b12, 0x3e8f43dd,
    0xbe52afbc, 0xbf0a36bf, 0x3f42929d, 0x3e985111,
    0x3ed020da, 0x3f3e16eb, 0xbdcffdd6, 0x3f05c74a,
    0x3f6ec105, 0xbeb7d23c, 0x3d0e0017, 0xbc1f81ae,
    0xbc9ee25e, 0x3f05b255, 0xbd5547c8, 0x3f59d9bf,
    0xbe5de988, 0xbee39be7, 0xbda4b903, 0xbf5d8bda,
    0xbe635fd8, 0xbf37f3fc, 0x3e88c81d, 0x3f1a3c70,
    0xbf39f61b, 0xbe5175bb, 0x3e735118, 0xbf1c903a,
    0x3e6ade7a, 0x3da278e2, 0x3d211d29, 0xbf782457,
    0xbdce390e, 0x3dd77839, 0x3f7767b8, 0x3e58c48c,
    0x3ea33c0a, 0x3f02c1d3, 0xbf421e20, 0x3e7ffc2b,
    0x3e4969ef, 0x3e76ca74, 0xbf5e7a9d, 0x3ec4f273,
    0x3df14d7c, 0xbf185216, 0x3ea009b0, 0xbf3b23fd,
    0x3ed29a35, 0xbe313327, 0xbf6468f1, 0xbd8dc765,
    0xbea60f6b, 0x3e9d9f85, 0x3f64a125, 0xbd49f147,
    0xbf1c4cef, 0xbe913f1f, 0xbeccf23b, 0xbf1f2872,
    0xbecd590b, 0xbedb570a, 0x3f14d270, 0xbf104951,
    0x3f0485e8, 0xbf04ad45, 0xbea9a57e, 0x3f183c2d,
    0xbe954690, 0x3e0f6714, 0xbf51639e, 0x3ef39b73,
    0xbe4c3f50, 0xbf16de85, 0x3f2dd344, 0xbec784d6,
    0x3f0159dc, 0xbf553924, 0xbe40b847, 0x3dff5ba0,
    0xbdf725d3, 0xbf574599, 0xbc3ba88d, 0x3f0705b5,
    0x3e9ce775, 0xbef5dcba, 0xbea6380f, 0x3f414ae8,
    0x3e58cded, 0x3ecfb64c, 0x3f5f92cc, 0x3e2afa4f,
    0x3e526096, 0xbe80e065, 0x3f484d40, 0x3f0800b6,
    0x3f261735, 0xbf0e947d, 0xbf04ba03, 0x3c0770ac,
    0x3d7c5cc6, 0x3f3538be, 0xbf0a1dee, 0x3ee74123,
    0x3f62f35b, 0xbe4ac72d, 0xbecbbc64, 0xbe039996,
    0x3e7273fa, 0xbe1c659b, 0xbf33468b, 0xbf27e8cd,
    0xbe4fc16f, 0xbf398c38, 0x3f1b82fc, 0x3e8205f5,
    0x3e044800, 0xbecde7b6, 0xbf570089, 0x3eae8dae,
    0xbe97a4df, 0xbcbcf7ff, 0xbe5408f5, 0x3f6ea02e,
    0x3f5729eb, 0x3dcdc506, 0x3e7ef631, 0x3ef0f746,
    0x3e9c6331, 0xbf1dd817, 0xbf2fb300, 0x3e7138ed,
    0xbf42ac79, 0xbec6f51a, 0x3eeb5bfa, 0xbe799884,
    0x3d3abe22, 0xbf39393a, 0xbf2df7cd, 0xbde61564
    };

static const uint32_t ref_mult[512] = {
    0xbe9f1480, 0xbe8dba49, 0x3f06bdaf, 0xbf3dd28e,
    0xbe307225, 0x3d1c22a3, 0x3f21b66e, 0xbf413ef3,
    0xbebe0633, 0xbe976eab, 0x3f5c0ef0, 0x3e41e92a,
    0x3d5c3ca9, 0x3dcf1684, 0xbecb855f, 0x3f6911b7,
    0xbe672c4b, 0x3e9f975d, 0x3f5e6c6f, 0xbe9f7418,
    0xbf2a013b, 0xbd17ce7b, 0x3d8a5b91, 0xbf3e61bf,
    0xbf53e9ca, 0xbef0fd87, 0x3e192ce7, 0xbe88487c,
    0x3ed2014a, 0xbf579d28, 0xbea988f7, 0x3de740b8,
    0x3f5fa27f, 0x3d188b57, 0xbef85eda, 0x3c50998c,
    0x3dc3b1ad, 0x3e6100de, 0x3f73daf3, 0xbe402b71,
    0xbec9f6fe, 0x3e572f15, 0xbe91575b, 0x3f592bf2,
    0xbe2412c0, 0xbf6b9c09, 0x3e785aea, 0x3e85f6f7,
    0xbf65d221, 0xbe1ddca8, 0xbe9424b0, 0xbe96a7c4,
    0xbe29d965, 0x3e60c2c2, 0xbf75353f, 0x3da9739e,
    0x3f23a003, 0x3f0ba89c, 0xbebe5df5, 0x3ec9f971,
    0xbefd06f9, 0xbf3cf80f, 0xbe856ce2, 0x3ec19a29,
    0xbf3e0f54, 0x3efdb9a0, 0x3ee6952f, 0xbca6648a,
    0xbe9092a7, 0x3eb5f3a6, 0xbe995691, 0x3f56d6db,
    0xbf2bf417, 0x3ecb8e80, 0xbe9d938a, 0xbf0b4a25,
    0x3f01ce8e, 0x3f0afe8a, 0x3c74bfdb, 0x3f2b531e,
    0xbf3f2387, 0xbe91d196, 0xbf0ee8d4, 0xbe647e49,
    0x3e592134, 0xbf373dc9, 0xbf20b785, 0x3e61a416,
    0xbca20d54, 0xbb27e049, 0xbeebdfda, 0x3f632870,
    0xbe9b578f, 0x3ec55490, 0xbf5f04dc, 0xbcb1fc34,
    0x3e669ecf, 0xbc14ef81, 0x3e3c0fe9, 0x3f74f0db,
    0xbe2bd20f, 0x3f61f871, 0xbe193150, 0x3ed34bab,
    0xbcb78ab8, 0xbf515bc0, 0x3dc01d2a, 0x3f113e2a,
    0xbf149110, 0x3e904e93, 0x3ec22cd8, 0xbf29cca4,
    0x3f602776, 0x3ed38d9b, 0xbe53df1b, 0x3e10091e,
    0x3ebe5056, 0x3eacbc40, 0x3f5c7975, 0xbda28a6f,
    0x3e86df1f, 0xbe9cf501, 0x3e8b3c4e, 0x3f5f918d,
    0xbec93173, 0xbed66beb, 0xbf434419, 0x3e983a70,
    0x3f7438da, 0x3cd5888f, 0xbe987eec, 0x3cb8b0cb,
    0x3ea1ed01, 0x3d867f3f, 0x3f40c72d, 0xbf12bf80,
    0xbf49a51e, 0x3eecec2c, 0xbe88b103, 0x3e9d1cce,
    0xbd894ec8, 0x3e88c2bc, 0xbf0df89d, 0x3f490591,
    0x3f41044d, 0x3dd347ab, 0xbc4e82ab, 0x3f260cd0,
    0x3e1f58a0, 0x3f32f1f3, 0x3e77862d, 0x3f27a039,
    0x3db1525b, 0xbe8471db, 0x3e1bc495, 0x3f733167,
    0x3db87999, 0x3ee6c655, 0xbf53bb26, 0x3ea5a666,
    0xbe7b7b91, 0xbcc5ee9a, 0xbf49e993, 0xbf1023e6,
    0x3f5bb08b, 0x3e6b260c, 0x3de23d32, 0x3ee42eab,
    0xbf198c30, 0xbe8ca398, 0xbece8073, 0x3f225679,
    0x3f12896c, 0x3e94de05, 0x3f227c71, 0x3edc308a,
    0x3e38faba, 0xbf61a29f, 0x3eb92fab, 0xbe7a3490,
    0xbf3de2ac, 0x3e46d03d, 0x3e6a5801, 0xbf198c1e,
    0x3eb82864, 0xbdd12073, 0xbf1b15cf, 0xbf33c903,
    0xbf34f98d, 0xbf0e1d94, 0xbed6807e, 0x3e03ba7f,
    0xbf7ba2c9, 0x3e1d5a4b, 0xbd977e46, 0x3d8cb1dd,
    0x3f0631ee, 0xbe2d60f5, 0xbeac965d, 0x3f437445,
    0xbf350a9c, 0xbee91d62, 0x3ef4fe03, 0xbe8122fd,
    0x3f24e150, 0xbef2540b, 0x3ef84838, 0x3eb5c17b,
    0x3f169e24, 0xbc8a0aa7, 0x3eb3da6c, 0x3f3a665b,
    0xbf5bf692, 0xbd550da3, 0x3eff6b03, 0xbdce5912,
    0x3dac247f, 0x3e4827f7, 0xbeecf384, 0x3f5c4d1a,
    0xbf76782d, 0xbd0c006b, 0x3d86ae7f, 0x3e851953,
    0xbe9addb4, 0xbc94f55f, 0x3e42d15d, 0xbf6f0d91,
    0x3e073474, 0x3ee555e9, 0xbf60ddaf, 0x3dd0a07c,
    0xbea9424d, 0xbeab3413, 0xbef74fb3, 0xbf3d1757,
    0xbea2cc6f, 0x3f4202e6, 0x3e5c1915, 0xbf07102e,
    0xbf2afd4a, 0xbe2e6cdb, 0xbf2470c8, 0x3eab8a06,
    0x3f21ef21, 0xbeaaf26c, 0xbf25a556, 0x3e8730a7,
    0x3ec30627, 0x3f4c8476, 0x3ec4e318, 0x3e864bf0,
    0xbe2d8c43, 0xbe9ee8c4, 0x3f57e9be, 0x3ecf1854,
    0x3df33d9b, 0x3dc4519e, 0x3f539f8c, 0x3f0aa76e,
    0x3e2e2139, 0x3ef212d6, 0x3d363ed3, 0xbf5d0bbf,
    0x3ea01ce9, 0xbf525371, 0xbe314b7d, 0xbee3612b,
    0x3f1f5e90, 0x3e865334, 0x3e06b71a, 0xbf39b89b,
    0x3e8a3eec, 0xbf16a8e1, 0x3f378aec, 0xbe843d23,
    0xbe8903c3, 0xbefc1a19, 0xbf3cd533, 0xbec0d50d,
    0xbee1ffd3, 0x3f044b3a, 0xbf087229, 0xbf0106de,
    0x3f22cc37, 0xbf0aa63a, 0xbe854882, 0x3ef7efd0,
    0x3ec32898, 0x3f0231d1, 0xbf3f0ab7, 0xbe4aa61b,
    0x3ecd2ce8, 0x3f05f107, 0x3f3f5b40, 0xbdaa7c43,
    0xbec1180f, 0xbde53c6e, 0x3f2cec3c, 0x3f1fa8f3,
    0xbe82030d, 0xbd184b44, 0xbf5f2d33, 0xbed5a70d,
    0x3e128e4f, 0xbf20209b, 0xbf38caf5, 0xbe84bb56,
    0xbdeffeb6, 0xbf534ed0, 0xbe94bd8c, 0x3ef0734d,
    0xbf10b6dc, 0xbe095981, 0xbefb7a71, 0x3f26254a,
    0xbe756a87, 0xbdec0d72, 0x3f579f5f, 0x3ef010fd,
    0x3e09edfb, 0x3eeae313, 0x3f1f9d70, 0x3f1e5b7a,
    0xbd510534, 0x3ecba272, 0xbe95f996, 0xbf5e34b5,
    0xbf5073af, 0xbe8205bc, 0x3ec61fa8, 0xbeb360bd,
    0xbf2c8cae, 0x3d2640a5, 0x3f170ea8, 0xbee2987c,
    0x3f588868, 0x3e36eb27, 0xbebe2f40, 0x3ead6324,
    0x3e413a8f, 0x3f2560dd, 0xbf3d56f1, 0x3bdaa25c,
    0x3f24a2fb, 0xbcdade19, 0xbf2c0cd6, 0x3ebb6ebc,
    0x3e8e7783, 0x3f48395c, 0xbe6fac37, 0x3f018b8d,
    0xbf21bc16, 0xbc95bcf2, 0xbf409d08, 0x3e3dfe02,
    0xbf241821, 0xbf42e36d, 0xbdc30bb6, 0xbcb85204,
    0xbdc9912d, 0x3e1671ca, 0xbf58d961, 0x3f004eee,
    0x3eb4c5fa, 0x3f0c5b75, 0x3f04edb0, 0x3f0d685a,
    0xbf64e287, 0xbead9ddf, 0xbd8e7e82, 0xbe9187c1,
    0x3f2fa0a6, 0xbf27bc7d, 0xbdf2dbe0, 0x3e961e80,
    0x3f38ba43, 0xbecb0014, 0x3f050113, 0x3e69e65e,
    0xbdcc3d43, 0xbec7b4d1, 0x3f691099, 0x3dc3090d,
    0x3f08fb36, 0x3f03e8cc, 0xbf069df0, 0x3ed42296,
    0xbdb4e04c, 0x3f5126f0, 0x3ed7a845, 0x3ec48057,
    0xbf423565, 0xbe9a6cda, 0x3f0ce87d, 0xbe32fb1b,
    0x3e8dc6ce, 0xbae4ae00, 0xbec94acd, 0xbf607508,
    0x3f129a64, 0x3e47fad2, 0xbf3ab254, 0xbea390cb,
    0x3e0cb656, 0xbec0576b, 0x3f69dc5b, 0xbd978b5d,
    0x3dc90add, 0xbf015dad, 0xbf4ea878, 0x3e93cd52,
    0xbed0deed, 0xbef7f47c, 0x3f461b84, 0xbc6005f9,
    0xbddfe20e, 0xbe22ddd0, 0xbf3e300b, 0xbf24158e,
    0x3ef58eb0, 0x3f035242, 0x3f2678a7, 0x3e945eb6,
    0xbe2f3dc5, 0xbf685978, 0xbe9f1ab4, 0x3e65d898,
    0xbe1e8372, 0x3d058cdc, 0xbed00204, 0xbf666397,
    0xbe765344, 0xbf2bda89, 0x3dd03830, 0x3f319306,
    0xbf3ecaac, 0xbefc2b0b, 0xbe00488f, 0x3edcfca5,
    0xbeae503a, 0x3f1c2e8b, 0x3ef7a383, 0x3f06f733,
    0x3f365c4e, 0x3e044c4c, 0x3e028af3, 0xbf2d8e49,
    0x3d81481b, 0x3f6bab39, 0x3e9e3848, 0x3e6bda63,
    0x3eaf2587, 0x3e1e28eb, 0x3e600620, 0xbf669451,
    0x3f140765, 0xbe6d66ca, 0x3f05609c, 0xbf155ec5,
    0xbf4b524f, 0xbebdf09a, 0x3e7a677d, 0x3ed4358b,
    0xbf41a3d8, 0xbf0c67b7, 0xbe1f50e0, 0xbea430a6,
    0x3e0d0d3f, 0xbe04f1f7, 0x3dafac56, 0xbf7a6937,
    0x3ee82bfa, 0xbe0b221e, 0x3f26bc01, 0x3f17d25b,
    0xbf51e8ea, 0xbe67e3fa, 0xbe00a41c, 0x3f02af8b,
    0xbf30b206, 0xbbe7821f, 0x3e6db7e6, 0x3f2f70ed,
    0x3e5771ba, 0xbf5f0b87, 0x3e5ed89f, 0xbec5cf2a,
    0x3f374c0c, 0x3ea3662b, 0x3ce3d9c0, 0xbf1ec8f5,
    0xbedeba9b, 0xbea66934, 0x3ed67e43, 0x3f3a4dae,
    0xbec6b42c, 0x3e8f967f, 0xbe29ff80, 0x3f5cb0f5,
    0xbe862bc9, 0x3d215cfa, 0xbf72478e, 0x3e3d1497,
    0xbecf03ef, 0x3f62e2a7, 0x3e393879, 0xbe0a9f87,
    0xbf0406c4, 0xbdfc2c0e, 0xbf3ee6bf, 0xbece92a8
    };

static const uint32_t ref_quat2rot[1152] = {
    0x3f14d753, 0xbf1753a9, 0xbf0f1dff, 0x3e89fc1c,
    0xbf022739, 0x3f515ef6, 0xbf448698, 0xbf204d00,
    0xbe0b8eff, 0xbed7e246, 0xbf4812d6, 0xbeeb6a56,
    0xbd9b7458, 0x3f0924d0, 0xbf574a5c, 0x3f6750d0,
    0xbea3af31, 0xbe9206b8, 0xbef5084c, 0x3dd394d8,
    0xbf5f37d3, 0x3f543b7a, 0xbe8c4645, 0xbef997e3,
    0xbe9418f6, 0xbf74c7b3, 0x3d3a3e58, 0x3f2f7838,
    0xbe93a416, 0xbf2b29dd, 0x3f2b3b1b, 0x3f1cbad9,
    0x3ed7e2ec, 0x3e935409, 0xbf3c793c, 0x3f1ccdac,
    0x3d53c462, 0x3f79bb3b, 0x3e5ae8a1, 0xbf7f8e5e,
    0x3d361202, 0x3d1e0d28, 0x3ce68463, 0xbe5c926e,
    0x3f79e2fe, 0xbe7af3a8, 0xbf708f61, 0x3e745233,
    0xbf34aa0e, 0x3eaeec3c, 0x3f1ee48f, 0xbf2a2d6e,
    0xbc854d4b, 0xbf3f33c3, 0xbf2f37bf, 0xbe27a32a,
    0xbf35dfe1, 0x3f0f217f, 0xbf3e4681, 0xbebc180d,
    0xbeef919b, 0xbf260e8e, 0x3f19aa26, 0x3e2b94ad,
    0xbf52879d, 0xbf0b3011, 0xbed4cba4, 0x3ee1e111,
    0xbf4b9e22, 0x3f64db64, 0x3eb7eef7, 0xbe8926a5,
    0xbea06506, 0xbf72c9ac, 0xbd496cbb, 0xbf27adf1,
    0x3e81acef, 0xbf36406c, 0x3f3008b8, 0xbe4364ac,
    0xbf335657, 0x3ec12126, 0xbf263533, 0xbf291318,
    0x3e73f3e0, 0x3f41d4aa, 0xbf1bb62b, 0x3f651c54,
    0x3d93a59d, 0x3ee16bd7, 0xbdf73711, 0x3ecc455b,
    0x3f68b346, 0xbf7df4f7, 0xbda81be7, 0xbdc4031f,
    0x3d15366e, 0xbf69ccfc, 0x3ecfb6bb, 0x3f5b6c5d,
    0x3f0158aa, 0x3dcd5bf9, 0x3efdc9f5, 0xbf5caa45,
    0x3dd9ba1b, 0x3e0f82e8, 0xbd29a6d6, 0xbf7d4066,
    0xbef3ba3e, 0x3f4b1edb, 0x3ec23036, 0xbf6121be,
    0xbedaf784, 0xbe561ac4, 0xbb720e24, 0xbeddbbc3,
    0x3f66bef4, 0xbeb28adf, 0x3f68de11, 0x3e672667,
    0xbe28d087, 0x3e35d2f0, 0xbf785f35, 0xbf6c3086,
    0xbec0469f, 0x3db44f89, 0xbefe7716, 0x3f4bc114,
    0xbeb0ff89, 0xbeb38eb8, 0x3e387ddc, 0x3f6b4335,
    0x3f4b3191, 0x3f13f666, 0x3e4221d7, 0x3f4745c5,
    0xbe3841b7, 0x3f19f67a, 0xbf1937f6, 0x3d9c4271,
    0x3f4c273b, 0xbe41edae, 0xbf7b101a, 0xbd45d9bc,
    0x3ec0b7ef, 0x3e9b002b, 0x3f60272f, 0xbf3f69d3,
    0x3f2845ef, 0x3dc0d728, 0xbf0c0acd, 0xbf30aca4,
    0x3ef2928e, 0xbf4c4742, 0xbf0c7b83, 0xbe7f37fc,
    0xbf1a4510, 0x3f3bce43, 0x3ea0d22f, 0x3c2ba754,
    0x3ecd3a85, 0xbf6a84d6, 0x3f632564, 0xbe491cda,
    0x3ed5a941, 0xbebacced, 0xbf5a36bf, 0x3ebfc840,
    0x3e90755d, 0xbef81e95, 0xbf53f66a, 0xbf17491c,
    0xbf0cbb4d, 0xbf1723d2, 0xbee6de06, 0xbec37510,
    0x3f4e8b1e, 0xbf2b3de5, 0x3f3e35ad, 0xbcb68779,
    0xbf2404a2, 0xbee8b3ee, 0x3f1e6b21, 0x3ea7ede2,
    0x3f1114a3, 0x3f417ce5, 0xbf31b80a, 0x3f2fed0f,
    0xbe5b29c6, 0x3d23d523, 0x3e1e1381, 0x3f7cb955,
    0xbe5db145, 0xbf769347, 0x3e233668, 0x3f79b7fd,
    0xbe616237, 0xbba7461e, 0xbd849d6c, 0xbeb1e04b,
    0xbf6f7b2d, 0xbf364cb8, 0x3f2c3d35, 0xbe4d6365,
    0x3f32f6ba, 0x3f27362b, 0xbe94f922, 0xbedd99b9,
    0xbe9b11ef, 0xbf595d7d, 0x3f319392, 0xbf36a506,
    0xbdcaf205, 0xbf1365aa, 0xbf21c1bd, 0x3f04d576,
    0x3f3f12a9, 0xbf2922b8, 0xbda40209, 0x3e68d876,
    0x3e0f6f5f, 0x3f76b38f, 0xbf201edb, 0xbf3ccb58,
    0x3e827283, 0xbee3b838, 0xbf307f27, 0x3f125bd3,
    0x3e5f740c, 0x3f0921fb, 0x3f50d470, 0xbf5e6057,
    0x3ef9a2d1, 0xbdb3d1b6, 0xbf21a0cc, 0xbd8f19a0,
    0xbf45b7cc, 0x3f07cb81, 0xbf43f1e5, 0xbeba8fd5,
    0xbf10d143, 0xbf23c5ea, 0x3f05333d, 0xbe3465cd,
    0x3f75d949, 0x3e5d48d4, 0x3f274352, 0xbd4d4968,
    0x3f416063, 0x3f3c7b2c, 0x3e8c6cb0, 0xbf1e5ec0,
    0x3f4ff009, 0xbda47cbc, 0x3f13e713, 0xbe4e4a43,
    0xbf77d8f4, 0x3e18349d, 0x3f0c22ec, 0xbe72d01a,
    0xbf4d7532, 0xbf3c1cf7, 0x3f14a20e, 0x3eb3876c,
    0x3edbe003, 0x3f4c643f, 0xbed81748, 0xbf06663c,
    0xbe236126, 0xbf560517, 0x3f3d41b2, 0x3ef577b6,
    0x3ef21c3a, 0xbf1fdd65, 0x3f4038f1, 0x3e5c2c6e,
    0xbe8103a7, 0xbee89391, 0x3f5ac030, 0xbea1ddcc,
    0x3eae8e53, 0xbf62a55b, 0xbf71f4bf, 0xbd044ea3,
    0x3ea66e92, 0x3da865ec, 0x3f708548, 0x3eaa355f,
    0x3e6ee6a8, 0xbf2b7ece, 0x3f347064, 0xbf4c505f,
    0x3e90799d, 0x3f0848ea, 0xbf0e36ae, 0xbf2fcddb,
    0xbef008f8, 0x3f27087a, 0xbf3b8d77, 0x3e466460,
    0xbef8f56f, 0xbe55a900, 0x3f593a34, 0xbf14cc46,
    0xbf25da17, 0xbefc1903, 0x3f41d091, 0xbc611c88,
    0x3f2735fe, 0xbe72f7fe, 0x3f6cfc7d, 0x3e96c87e,
    0xbf1bd3df, 0xbec18181, 0x3f3295c6, 0xbf25c583,
    0x3e11caed, 0xbf3fa4ce, 0xbf27d8b9, 0xbf1ad005,
    0x3ee77cc0, 0xbec6d471, 0x3f4899c0, 0x3ef84a70,
    0x3d91d09f, 0x3f749bbe, 0xbe929156, 0x3f22d644,
    0xbe877469, 0xbf398fc8, 0xbf44b141, 0xbe059c75,
    0xbf2069bf, 0x3e347601, 0x3ee9beb3, 0x3f5f4081,
    0xbf75d225, 0xbdebd4e8, 0x3e82376d, 0x3e5dba63,
    0xbf61d95f, 0x3ed60f7c, 0x3e67b886, 0xbc740fe2,
    0x3f795488, 0xbf0d6626, 0x3f525609, 0x3e1047db,
    0xbf4d64b0, 0xbf11e099, 0x3e35f65c, 0xbd883549,
    0xbf48fe99, 0x3f1da15c, 0xbf7dcae3, 0x3df9814c,
    0x3d45af41, 0xbde73c52, 0xbf1b7309, 0xbf4955eb,
    0xbf44397d, 0xbd3c95a9, 0xbf23fda8, 0xbec5785b,
    0xbf43b96e, 0x3f0435a7, 0xbf03774a, 0x3f24966a,
    0x3f117a2e, 0xbf1af108, 0x3f4b7821, 0xbd35ff75,
    0xbf36649f, 0xbf0415fc, 0x3ef37df7, 0x3eb5ca3a,
    0x3ea3946c, 0x3f60e8f7, 0x3ec83d92, 0xbf2d40db,
    0xbf1fac15, 0xbf59f64f, 0xbc0ea526, 0xbf064073,
    0x3eb2ef5e, 0x3f3c73d1, 0xbf1461d3, 0xbeec20e7,
    0x3f388b56, 0xbf047087, 0x3eb5218f, 0xbec547f0,
    0xbf5a2eea, 0xbf505060, 0xbf137a1c, 0xbd9e5b7a,
    0x3ebc9f18, 0x3f2aa8a3, 0xbf25e1fb, 0xbe05a0bc,
    0x3f3a289a, 0x3f2c8675, 0x3f6ba36f, 0xbe27a55c,
    0x3eb5b3e4, 0x3f43fc86, 0x3de5a7f5, 0xbf222d32,
    0xbf0e75f7, 0x3f1c0af4, 0xbf108a06, 0x3ea54a62,
    0x3f48e783, 0x3f076fe4, 0x3f4619ae, 0xbf15eba7,
    0x3e771935, 0xbeb92bb5, 0xbdc41f64, 0x3f6d68a9,
    0xbf051e08, 0xbf4e0e30, 0xbe9261e1, 0x3e2ca6cb,
    0xbf2a3027, 0xbf3a4db0, 0x3e8cad93, 0x3f3da1e9,
    0xbf1ceed6, 0x3f72554e, 0xbdc5d5c9, 0x3e9d77e4,
    0x3b809416, 0x3ef16223, 0x3f61c317, 0x3f579738,
    0x3ef2ae21, 0xbe83a792, 0xbf0a0acc, 0x3f3e6254,
    0xbeca543a, 0xbf5a9704, 0xbf053c84, 0xbbcb3302,
    0x3eda29f2, 0xbf312f48, 0xbf1523d3, 0x3e990b2c,
    0xbf0005a6, 0x3f501077, 0xbf21f8fb, 0x3e2fc07e,
    0xbf415068, 0xbf4188bb, 0x3d986301, 0x3f267c83,
    0x3e2bd58d, 0x3f7b7b19, 0x3da95181, 0x3ed869d2,
    0x3f67fae4, 0xbc62eb28, 0xbd3f676b, 0x3bd5f822,
    0xbf7fb702, 0xbf67b2d3, 0x3ed880f3, 0x3d38c005,
    0x3f4b763f, 0x3edc5fa5, 0x3edb1268, 0x3eb7d0f2,
    0x3e70a346, 0xbf673c3a, 0xbefa8965, 0x3f5f1ace,
    0x3d041185, 0xbdc06790, 0x3f7d0837, 0xbdf445bc,
    0x3f79c25c, 0x3dec118a, 0x3e3f3b18, 0x3e4b179a,
    0xbdca62dd, 0xbf79a2cc, 0xbf0798a0, 0x3eaa0134,
    0x3f47cf83, 0x3f16f34d, 0x3f4e3cc0, 0x3d6b3bf7,
    0xbf1c16ae, 0x3efb3615, 0xbf1f5c22, 0xbed08311,
    0x3f59106c, 0x3eadc79b, 0x3f12cc5f, 0xbd547259,
    0x3f514eeb, 0x3f35fb09, 0x3f0710ed, 0xbeee20b3,
    0x3dc98491, 0xbea05e46, 0x3f71cf50, 0xbf2cb14d,
    0xbf3803f8, 0xbe2c1e94, 0x3f3b4b10, 0xbf1ee2da,
    0xbe906503, 0xbee965f9, 0x3ef01791, 0xbf41aa52,
    0xbe8358d9, 0x3f3ea21a, 0x3f1dbd7d, 0x3f5a2f20,
    0x3ef32dac, 0xbe606b8e, 0xbf2e70d0, 0xbf3b582a,
    0x3c3aefe3, 0x3f3ad7c4, 0xbf2e3ad0, 0xbd8364cc,
    0x3d601e42, 0xbd10f4dc, 0x3f7f74b5, 0xbe9a6e1a,
    0x3e312bd9, 0xbf700664, 0xbddd1250, 0x3f788b5a,
    0x3e5b04c6, 0x3f728216, 0x3e29b2e1, 0xbe8c5ec1,
    0x3ec1196b, 0xbed16bda, 0xbf54b859, 0x3e45f377,
    0x3f6985c2, 0xbeb8fa5b, 0x3f67df83, 0xbcc7a873,
    0x3ed8a0d1, 0xbe83df0c, 0xbf66c175, 0x3eb2377d,
    0x3f51193d, 0xbeca8794, 0xbed70712, 0x3f0428f7,
    0x3e345dc7, 0x3f568fa6, 0xbe01bdaa, 0xbef9344e,
    0x3f5d43e0, 0xbef3bd73, 0x3f4b5564, 0x3ec14759,
    0xbf5ec819, 0xbeba2e23, 0xbeaa28df, 0x3e159d44,
    0xbedf6f8b, 0xbf63479f, 0xbf7939af, 0x3dc49454,
    0xbe545fd6, 0x3e33f144, 0x3f6505c4, 0xbed257a6,
    0x3e4002da, 0xbea706e2, 0xbf6d2fa3, 0x3f692ea7,
    0xbe972f9c, 0x3e939e1f, 0xbebc3b44, 0xbf65e29d,
    0x3e7794b6, 0x3ee3223b, 0x3f6104fd, 0x3e331999,
    0xbf5a77e1, 0x3ef2a3c7, 0xbe5e519d, 0xbe8c253a,
    0xbd58de79, 0x3f75d989, 0xbf4ee658, 0x3f12e493,
    0xbe07b410, 0x3e568ddb, 0x3efb2068, 0x3f588c21,
    0x3f0ce51b, 0x3f27e7e0, 0xbf044223, 0xbf0fd81c,
    0xbed9f7de, 0xbf3591ac, 0x3ef44f66, 0xbf5dffc1,
    0x3e11e854, 0xbf2cfb8d, 0xbe84492e, 0x3f30be3c,
    0x3f7eba80, 0x3d93431f, 0xbd8cf9cf, 0x3d9e419c,
    0xbdf9f45f, 0x3f7d50a1, 0x3d808306, 0xbf7d6b24,
    0xbe020bda, 0xbf38178e, 0x3f11d733, 0xbecbbb4b,
    0x3eb4bb93, 0xbe466a3a, 0xbf6a53d9, 0xbf193b66,
    0xbf4c7711, 0xbd7cf6f3, 0x3f273de7, 0xbe1ffd64,
    0x3f3da5e6, 0x3f1ab57a, 0x3f327039, 0xbec59838,
    0xbee981b3, 0x3f332747, 0x3f0cbe51, 0xbf354283,
    0xbf0068b9, 0xbefe7eda, 0xbe0f7102, 0xbf171314,
    0x3f4b88fa, 0xbf312fa5, 0x3f21efe1, 0x3eb1f5e3,
    0x3f2d0b65, 0xbe8276c9, 0x3f310557, 0xbeed4daa,
    0xbf6062af, 0x3e0533db, 0x3f12aca5, 0xbed11ca2,
    0xbf35e890, 0xbe9a83ba, 0xbe56f4fd, 0x3f6e130a,
    0xbf73fd08, 0x3d2c8d1b, 0xbe997bf7, 0x3cc29200,
    0xbf7a1046, 0xbe59e3b9, 0x3f2307d3, 0x3ea142e5,
    0xbf34279e, 0xbf244e34, 0xbe941010, 0xbf35d24f,
    0xbedabafb, 0x3f676ae1, 0x3c9355d2, 0x3e87ec42,
    0xbec86ead, 0x3f618d75, 0xbdab2fd9, 0xbf6b7568,
    0xbec4570a, 0x3f75e285, 0x3ce6aa33, 0xbe8dc523,
    0xbe812c97, 0x3f1b7eb3, 0xbf40d618, 0x3f721f3c,
    0xbc1fb389, 0xbea63693, 0xbe516f60, 0xbf4b5986,
    0xbf126f94, 0xbd9e5fa7, 0xbf0d8bce, 0xbf546367,
    0xbf510fbb, 0x3f033215, 0xbe87e5b8, 0x3f126a49,
    0x3f28310b, 0xbefb7a26, 0xbec15881, 0x3f42e8ad,
    0x3f06e920, 0xbf232d03, 0x3e4bdc60, 0xbf3e8ebe,
    0xbf2bf11e, 0xbf1df3e7, 0x3ed1faf0, 0xbf198646,
    0xbf4c97b2, 0x3d265cc2, 0xbf478408, 0x3f1261b1,
    0xbe832d7b, 0x3e39e3d9, 0xbe3dbff3, 0xbf773c99,
    0xbf08830e, 0x3f4ab589, 0x3e9870b3, 0x3f5813aa,
    0x3f05898a, 0x3dfed302, 0xbd689535, 0x3ea2a370,
    0xbf724e2b, 0xbcc24c89, 0xbd7047b2, 0x3f7f7cac,
    0xbf2d9d10, 0xbf3b85e1, 0xbd7260d5, 0x3f3c092c,
    0xbf2d9ffb, 0xbcb79439, 0x3f34c18c, 0xbecee261,
    0x3f14df52, 0x3f2345f1, 0x3bc5909e, 0xbf452b2d,
    0x3e9d8b89, 0x3f6a2a4a, 0x3e8620a6, 0x3e0bbf43,
    0xbf5428fd, 0xbf0aefe3, 0xbf6f2456, 0x3d99002d,
    0xbeb2ad50, 0x3ea8d680, 0x3f0dfae1, 0xbf439436,
    0x3f4f0287, 0xbf007265, 0x3e9d47ea, 0xbcf2bac7,
    0x3ef93802, 0x3f5f7f43, 0xbf166ad7, 0xbf370e9f,
    0x3ec1ea21, 0xbcb18af1, 0x3f5034a0, 0x3f14d908,
    0xbf62865a, 0xbe929624, 0x3ebc27c6, 0x3eee4211,
    0xbf01abc0, 0x3f39d25f, 0x3f2bb64c, 0x3f37795e,
    0x3e437a38, 0x3f24c497, 0xbede7e72, 0xbf214800,
    0xbebcb4bb, 0x3f0ba20b, 0xbf40b518, 0x3d3ebb70,
    0xbf19d363, 0xbf4c4872, 0x3f6ab78f, 0xbe952cd6,
    0x3e8bb908, 0xbecafee7, 0xbf3e8d7f, 0x3f099060,
    0x3ed4ba40, 0x3f1cb51d, 0x3f2c3ca0, 0x3f3aa7da,
    0xbf2a96af, 0x3e1fc263, 0x3f0b3882, 0x3ed9f9a7,
    0xbf3922c9, 0x3e479a59, 0x3f10c2f7, 0x3f4d2892,
    0xbef40aac, 0xbf28d464, 0x3f14ce8a, 0x3f5b7257,
    0xbefd965c, 0x3e105cd5, 0xbf7c66de, 0x3db9370e,
    0x3e0fd9a8, 0xbe1be226, 0xbf552ecb, 0xbf0845ee,
    0x3d8cfcf1, 0xbf0bd516, 0x3f55b5f9, 0x3e10923e,
    0xbf7d4b7a, 0x3d0737f3, 0x3f6ba146, 0x3df3883e,
    0xbebea902, 0x3ebaa2b6, 0x3da9e6c1, 0x3f6d7019,
    0x3f435bce, 0xbf104fb7, 0xbea1ce24, 0x3ef62710,
    0x3f526d75, 0xbe9c5037, 0x3edd1e14, 0x3da5fb14,
    0x3f65f626, 0xbeaa2a86, 0xbf32c286, 0xbf224d31,
    0xbf71700e, 0x3e75c6b6, 0x3e6b9316, 0xbc0ad6ad,
    0x3f2ca48f, 0xbf3d0338, 0x3eddcd80, 0xbf135f58,
    0x3f3188a7, 0x3e8c4dac, 0xbf261d69, 0xbf35b736,
    0x3f5bcee3, 0x3efebda2, 0xbdfc9f84, 0x3f7f560c,
    0xbbdcaa22, 0x3d92c03c, 0xbd305818, 0x3f3df474,
    0x3f2b43d0, 0xbd6c3c20, 0xbf2b9c4a, 0x3f3d6358,
    0xbee85241, 0xbcaf2169, 0x3f641023, 0xbdb2fd61,
    0xbf7e6b51, 0xbd8c021d, 0x3f630766, 0xbddefc66,
    0x3ee5ee1b, 0xbf02c571, 0xbe9b6ebd, 0x3f4de68d,
    0x3ee4a8ec, 0xbf64a472, 0xbd5afe10, 0x3f3c0d4e,
    0x3ea9ed76, 0x3f178126, 0x3e066f63, 0xbdee55f3,
    0xbf7c0790, 0xbf26c814, 0xbf4236ff, 0x3b37909f,
    0xbf3f493c, 0x3f2419c8, 0xbe33a04b, 0x3e0e5dba,
    0xbf7c581e, 0xbdc29712, 0x3f4a92d7, 0x3e2c4e87,
    0xbf167af9, 0x3f186ca2, 0x3bd63c9c, 0x3f4dab70,
    0xbf61d7a7, 0x3ee6dae2, 0xbe0b0216, 0xbee076d9,
    0xbf6445c5, 0xbde6b2f7, 0xbe2ff641, 0xbd23468c,
    0x3f7bfc4b, 0xbf752428, 0x3e7be3ea, 0xbe19afe2,
    0x3e2494ae, 0x3f63639e, 0x3edc56a3, 0x3e74e951,
    0x3ec6a44a, 0xbf63dd79, 0xbe8cc4c7, 0xbf6f1af1,
    0xbe699b19, 0xbf1d7e25, 0x3eb4dc35, 0xbf346db0,
    0x3f3d26a5, 0xbd5ad87d, 0xbf2bf634, 0xbf4e73d9,
    0xbf11f9d9, 0xbe2037ef, 0xbe88ffd6, 0x3f1680b6,
    0xbf436df7, 0x3f06fc59, 0xbf12e332, 0xbf206efc,
    0xbe87427f, 0xbe4c7ebf, 0x3f718df1, 0xbf0b5273,
    0xbf46de5a, 0xbea23175, 0x3f4bd78e, 0xbf18e26b,
    0x3dc5b64b, 0xbf1a0a59, 0x3ebb42f0, 0xbf35c579,
    0x3e80f174, 0x3f6e36dd, 0x3e882334, 0x3f4209df,
    0xbc9a37fe, 0xbf26eb28, 0xbf199d7a, 0x3f049561,
    0xbf1c13b0, 0x3f14f534, 0x3f4e3ae0, 0x3de4a1b8,
    0x3f0c88d7, 0xbe93556f, 0xbf48e566, 0xbdbf8012,
    0xbf083516, 0x3f576e5b, 0x3f7c7cd3, 0x3d87297b,
    0x3e1af2db, 0xbe0b5033, 0x3f5818f2, 0x3f04c23e,
    0xbe9f5a3d, 0xbf733f85, 0x3c87eff9, 0xbd3c5b9c,
    0xbb1c2545, 0xbf7fba7c, 0x3f73000e, 0xbe9f92fc,
    0xbd2ff020, 0x3d95d81d, 0xbe8b6253, 0xbf759e33,
    0x3f758978, 0xbe7a553e, 0x3e11ed62, 0xbe8bf420,
    0xbf6e3f9f, 0x3e790f08, 0xbf4a6fda, 0x3d460d55,
    0x3f1c362d, 0xbf01abca, 0x3f020d39, 0xbf325912,
    0xbeaff66e, 0xbf5c2855, 0xbec1244f, 0xbe67395a,
    0xbf74ad90, 0x3e40f65a, 0xbf2515f6, 0x3ada2091,
    0xbf43a8be, 0x3f3aecee, 0xbe969437, 0xbf1de17c,
    0x3f65e7a5, 0x3e4001e0, 0xbecbb89f, 0x3ee107be,
    0xbed64c06, 0x3f4b757f, 0xbc8f79c1, 0xbf637d10,
    0xbeeaa5c7, 0x3ee30189, 0x3e161427, 0xbf625fd5,
    0xbddd4185, 0xbf7879fe, 0xbe5c3338, 0xbf63ca2c,
    0x3e4374b4, 0xbed43a4d, 0xbeb3b4dd, 0xbe1a9bb0,
    0xbf6c9392, 0x3f4649e4, 0xbf19f42c, 0xbe48a201,
    0xbf06b320, 0xbf48d94c, 0x3ea7f305, 0xbf14c853,
    0x3f234d50, 0x3f015a63, 0x3f47807f, 0x3f1d75ab,
    0x3df5768b, 0xbe6ff540, 0x3eed4688, 0xbf5ac64f,
    0xbf49f318, 0xbf1cb825, 0x3d5d5e6c, 0xbe33d101,
    0x3e9e1bd1, 0x3f6f4d5d, 0xbf16c50a, 0x3f3a5903,
    0xbeb3c455, 0x3eecacaf, 0x3f111959, 0xbf2e94c4,
    0x3f16974e, 0x3ec249d2, 0x3f36d0a8, 0x3f29ddd3,
    0xbf3b3430, 0xbe21cb56, 0x3c210830, 0xbf51cb0c,
    0x3f12af60, 0xbf354c0e, 0xbed20bc5, 0xbf1318d7,
    0x3f34b941, 0xbeccdeeb, 0xbf159b23, 0x3f267906,
    0x3ec55b45, 0xbf27964a, 0xbd8fe86e, 0x3f637751,
    0x3ee8226a, 0x3f41a5af, 0xbe7ecd8f, 0x3f1ad9fa,
    0xbf575a91, 0x3f064624, 0xbe066acb, 0xbdc5ffff,
    0x3dbe5b0d, 0x3f7daff5, 0x3f082f34, 0x3f58a83b,
    0xbce11e40, 0x3e082ce5, 0xbf470c68, 0xbf1d57bb,
    0xbf7bcef0, 0xbe37f3cd, 0x3c6c75fd, 0xbdf91a84,
    0x3f1a466c, 0xbf49e7ad, 0xbf24a640, 0x3f16617f,
    0xbefb7e31, 0x3f437a92, 0x3ee35e2d, 0xbef00004,
    0xbd6a65a0, 0xbf2d32b3, 0xbf3bf242, 0xbf52d04d,
    0x3f0fcc3a, 0x3da32149, 0xbf0ae81a, 0xbf3d2230,
    0xbecca3ff, 0xbe29a30a, 0xbebea600, 0x3f69c667,
    0x3eddb40f, 0xbf3db82b, 0x3f035b30, 0x3f575617,
    0x3f096c8d, 0x3d8615d6, 0xbea5dea5, 0x3ece779f,
    0x3f5b1728, 0xbd595f62, 0x3f33d322, 0xbf35b2eb,
    0x3f7d8136, 0x3e03c3cf, 0x3d5a58c2, 0x3e03dd91,
    0xbf333421, 0xbf33d1f4, 0x3eeac77f, 0xbf3a5c1b,
    0xbf027b89, 0x3c5c6850, 0x3f1444b7, 0xbf50a9f4,
    0x3f637900, 0x3ebbdb3a, 0x3e8cfdf3, 0x3d517f6c,
    0x3f7e5d47, 0x3dce0a88, 0x3f791e94, 0xbd93eec5,
    0x3e5fe9be, 0x3e65ec84, 0x3db19931, 0xbf78793b
    };

static const uint32_t ref_rot2quat[512] = {
    0x3ef7c448, 0xbf3efa5a, 0x3ddcbbc1, 0x3ee3a3f1,
    0x3ee91134, 0x3e92943b, 0xbf3faed1, 0x3ec66a88,
    0x3e8a8d46, 0xbeddb102, 0xbf09cf11, 0x3f2ba2ba,
    0x3f5a5ba1, 0xbeadc1f1, 0xbe8f8432, 0x3e8fa5c3,
    0x3f3842ce, 0xbdb4ac1f, 0x3d840d55, 0xbf2f80d6,
    0x3e976295, 0xbf09dec3, 0x3f4388ce, 0x3e4a92e4,
    0x3e54ad5e, 0xbead5b5c, 0xbe9579e0, 0x3f5ebbb6,
    0x3f1437d3, 0x3eff43b5, 0xbf1eeb9b, 0x3e33daf0,
    0x3e7a8c5f, 0x3f084e59, 0xbf40ba33, 0x3e997c36,
    0x3f4d626e, 0x3e5916fa, 0xbef82855, 0x3e8d97e7,
    0x3f0c62d5, 0xbebed540, 0x3ecbaa9e, 0xbf225660,
    0x3d1d1cc3, 0xbf767dab, 0xbe851022, 0xbd7fb044,
    0x3effb2fe, 0xbde5a1d6, 0x3e444f60, 0xbf5660c9,
    0x3ef5218e, 0x3e9efbe2, 0x3f198182, 0xbf0fa23f,
    0x3eef285c, 0xbe3ae562, 0xbf1c1e0d, 0xbf1d1a31,
    0x3f2c0904, 0xbf29591b, 0x3e96a037, 0xbe1f73f8,
    0x3f4ab05d, 0xbe7d969a, 0x3ee5fe28, 0xbea9d254,
    0x3d8f3ac0, 0x3e9ebe31, 0xbf6dab48, 0xbe452422,
    0x3e68e595, 0xbf71c512, 0x3e182297, 0xbe3d9957,
    0x3d10ea0b, 0xbee6d63c, 0x3f0e0b73, 0x3f32c312,
    0x3ed8034c, 0xbd2680ab, 0x3f472e3f, 0x3eed65bf,
    0x3e091b10, 0xbf3564de, 0x3cb38ff4, 0xbf3145fc,
    0x3f12e614, 0x3ebe70d6, 0xbf364e41, 0xbe22b375,
    0x3e9c4484, 0xbedf6f13, 0xbe653ed9, 0x3f50f6b6,
    0x3f3b4d3f, 0xbf14ce7a, 0x3e3ed438, 0x3e9b5dd4,
    0x3f0032e0, 0xbe27c362, 0x3f3814eb, 0x3ee7fff4,
    0x3e33f62c, 0xbec88dcb, 0xbe968134, 0x3f5a9e01,
    0x3e49a020, 0xbf1c6117, 0xbf29121a, 0xbec78ec7,
    0x3dd0afd8, 0xbf7249c4, 0x3d986e6e, 0xbe982b88,
    0x3e743f50, 0x3e8cde49, 0x3f6af33d, 0xbe223ad7,
    0x3f6a175b, 0xbe3b5ddd, 0x3e4aedde, 0xbe9a860c,
    0x3efdf152, 0x3e9e9440, 0xbef9b3d2, 0xbf25f35f,
    0x3f02f3c8, 0xbf1886c9, 0x3f1db074, 0xbd80509f,
    0x3ef9b510, 0xbf445dd4, 0x3ecb6548, 0x3e01534e,
    0x3f6b56ed, 0xbe3b41d0, 0x3eafb2f4, 0xbd78fe8b,
    0x3e76f68a, 0x3eafec92, 0xbebf3519, 0xbf53c537,
    0x3e593d05, 0x3f334ef4, 0x3f116d9f, 0xbec0b93d,
    0x3f1bacc3, 0xbeef3b9e, 0x3e89fc6d, 0xbf151baa,
    0x3f3ef4e6, 0xbe73ec14, 0x3f186716, 0xbe387321,
    0x3e84bd21, 0xbf21d063, 0x3f33e01f, 0xbe4ba707,
    0x3dc58e31, 0x3ea7d39b, 0xbea89681, 0xbf6157b3,
    0x3edec96b, 0xbdb7a6bc, 0xbe6b0859, 0xbf5db187,
    0x3ee55e9a, 0x3f3415e5, 0xbf0b0864, 0xbdc79936,
    0x3e0d4f6a, 0x3f0017bb, 0x3f097493, 0xbf2a40e4,
    0x3f485ef8, 0xbe88fc44, 0xbf003fb7, 0xbe825c3a,
    0x3f5a21f4, 0x3ecab4b5, 0xbe8fa944, 0xbe48e1d7,
    0x3f1706f4, 0xbf3becaf, 0x3ea52d3b, 0x3dc25f7d,
    0x3f3e9541, 0x3e3194fd, 0xbf0ff0f2, 0x3ea18b2a,
    0x3f053098, 0x3ef63a5b, 0x3f2ed070, 0x3e366708,
    0x3e84385c, 0x3da38cf7, 0xbe973b85, 0x3f6a9586,
    0x3eb9612b, 0x3e6abf0d, 0xbf2323f2, 0xbf23f7f5,
    0x3f1b6b63, 0x3f15e09f, 0x3ebbe6d2, 0xbec8e7e4,
    0x3f37cdea, 0x3f1e3313, 0x3ea38418, 0xbccbaaa3,
    0x3ddc0d80, 0xbf2a18c7, 0xbf3d2dae, 0xbcf3ae83,
    0x3ecef089, 0x3e893230, 0x3f5c231e, 0x3e232a5d,
    0x3e0cf417, 0xbf06d6b9, 0xbf2cb43c, 0xbeff3bdf,
    0x3e1fed1d, 0xbf39749f, 0x3eae8898, 0xbf1414f2,
    0x3f0461da, 0xbd8bd132, 0xbf471ba6, 0xbeb3925b,
    0x3ecc23cf, 0x3c93c3d9, 0xbcde726a, 0x3f6a9f8f,
    0x3f172fa3, 0xbca7064c, 0xbf4c4400, 0xbdf3957d,
    0x3f52cf47, 0x3dd17a2c, 0xbf06f984, 0x3e3b40d3,
    0x3f0b5689, 0x3e8c3013, 0xbd9e31ac, 0x3f4a0813,
    0x3f13e81c, 0xbea431a2, 0x3f402432, 0x3b9752a9,
    0x3ee967c2, 0x3f1ab68f, 0xbf154f9b, 0xbe96d19f,
    0x3f084e85, 0xbf0e97df, 0xbe8659f7, 0x3f14b2aa,
    0x3f5924a3, 0x3d462ec1, 0x3e076634, 0xbf02b647,
    0x3e5061b0, 0xbe6f0727, 0xbf56c521, 0xbee520f9,
    0x3e82de25, 0xbec8bdfd, 0xbd065f3a, 0x3f6212fc,
    0x3f292242, 0xbf3fbf4b, 0xbd4bf28e, 0x3b051feb,
    0x3da317c4, 0x3ebb7ec3, 0x3f21413a, 0xbf2e26ba,
    0x3f59fac8, 0x3ea33737, 0x3eb3ec16, 0x3e64aad8,
    0x3de3974d, 0xbebb297a, 0x3ee0b002, 0x3f5033c0,
    0x3e18a1d9, 0xbf6737c0, 0x3e4b97b4, 0xbeb331d6,
    0x3eb9f0e0, 0xbeeea031, 0x3f1fb3da, 0xbf02f73c,
    0x3f1594dc, 0x3f30cf03, 0xbdf24dee, 0xbed198d3,
    0x3e0650bb, 0x3f48d8d6, 0xbe1b0297, 0x3f163948,
    0x3e5091d4, 0xbf13965c, 0xbf2c6c58, 0x3ed4a74e,
    0x3ef8ba13, 0x3ef30b9c, 0xbf38a5d1, 0xbe0afaaa,
    0x3f0e0cb0, 0x3d6b0a4b, 0x3f0a4060, 0xbf215580,
    0x3d22efbc, 0x3ee42685, 0xbf62b7dc, 0x3dff3f97,
    0x3dd18b7f, 0x3ef1bafa, 0x3f5dc0f0, 0x3e02a660,
    0x3e70e40e, 0xbf286a8f, 0x3e8f5d1a, 0xbf288b22,
    0x3f33d7a1, 0x3f197f65, 0x3dc791e3, 0x3ebdd4a0,
    0x3eab31d8, 0x3f2cf429, 0xbf270014, 0xbda1643e,
    0x3f5150b8, 0xbef89d76, 0x3e8c12a8, 0x3e13d164,
    0x3f186a95, 0xbebbe7ba, 0x3d47a9e1, 0xbf368b5c,
    0x3eb1fe8c, 0x3f586509, 0x3ecdfd41, 0xbd573b9d,
    0x3f11864e, 0xbee50dd6, 0xbe34d092, 0x3f2ae061,
    0x3da4e859, 0x3f56609a, 0x3ecd03bb, 0x3eb9f6e6,
    0x3ed28ba5, 0xbf278cc1, 0xbd0afb8d, 0xbf22305f,
    0x3d8200fa, 0xbd604744, 0x3e907378, 0xbf74a92a,
    0x3f3d517d, 0x3e1da011, 0xbde58447, 0x3f254892,
    0x3f6ee5ac, 0x3dd3f845, 0xbe4d2b12, 0x3e8f43dd,
    0x3e52afbc, 0x3f0a36bf, 0xbf42929d, 0xbe985111,
    0x3ed020da, 0x3f3e16eb, 0xbdcffdd6, 0x3f05c74a,
    0x3f6ec105, 0xbeb7d23c, 0x3d0e0017, 0xbc1f81ae,
    0x3c9ee25e, 0xbf05b255, 0x3d5547c8, 0xbf59d9bf,
    0x3e5de988, 0x3ee39be7, 0x3da4b903, 0x3f5d8bda,
    0x3e635fd8, 0x3f37f3fc, 0xbe88c81d, 0xbf1a3c70,
    0x3f39f61b, 0x3e5175bb, 0xbe735118, 0x3f1c903a,
    0x3e6ade7a, 0x3da278e2, 0x3d211d29, 0xbf782457,
    0x3dce390e, 0xbdd77839, 0xbf7767b8, 0xbe58c48c,
    0x3ea33c0a, 0x3f02c1d3, 0xbf421e20, 0x3e7ffc2b,
    0x3e4969ef, 0x3e76ca74, 0xbf5e7a9d, 0x3ec4f273,
    0x3df14d7c, 0xbf185216, 0x3ea009b0, 0xbf3b23fd,
    0x3ed29a35, 0xbe313327, 0xbf6468f1, 0xbd8dc765,
    0x3ea60f6b, 0xbe9d9f85, 0xbf64a125, 0x3d49f147,
    0x3f1c4cef, 0x3e913f1f, 0x3eccf23b, 0x3f1f2872,
    0x3ecd590b, 0x3edb570a, 0xbf14d270, 0x3f104951,
    0x3f0485e8, 0xbf04ad45, 0xbea9a57e, 0x3f183c2d,
    0x3e954690, 0xbe0f6714, 0x3f51639e, 0xbef39b73,
    0x3e4c3f50, 0x3f16de85, 0xbf2dd344, 0x3ec784d6,
    0x3f0159dc, 0xbf553924, 0xbe40b847, 0x3dff5ba0,
    0x3df725d3, 0x3f574599, 0x3c3ba88d, 0xbf0705b5,
    0x3e9ce775, 0xbef5dcba, 0xbea6380f, 0x3f414ae8,
    0x3e58cded, 0x3ecfb64c, 0x3f5f92cc, 0x3e2afa4f,
    0x3e526096, 0xbe80e065, 0x3f484d40, 0x3f0800b6,
    0x3f261735, 0xbf0e947d, 0xbf04ba03, 0x3c0770ac,
    0x3d7c5cc6, 0x3f3538be, 0xbf0a1dee, 0x3ee74123,
    0x3f62f35b, 0xbe4ac72d, 0xbecbbc64, 0xbe039996,
    0x3e7273fa, 0xbe1c659b, 0xbf33468b, 0xbf27e8cd,
    0x3e4fc16f, 0x3f398c38, 0xbf1b82fc, 0xbe8205f5,
    0x3e044800, 0xbecde7b6, 0xbf570089, 0x3eae8dae,
    0x3e97a4df, 0x3cbcf7ff, 0x3e5408f5, 0xbf6ea02e,
    0x3f5729eb, 0x3dcdc506, 0x3e7ef631, 0x3ef0f746,
    0x3e9c6331, 0xbf1dd817, 0xbf2fb300, 0x3e7138ed,
    0x3f42ac79, 0x3ec6f51a, 0xbeeb5bfa, 0x3e799884,
    0x3d3abe22, 0xbf39393a, 0xbf2df7cd, 0xbde61564
    };

